Re-add CADICAL to config.inc

zhassan-aws · zhassan-aws · commit ae98542a854f · 2023-01-30T16:29:18.000-08:00
diff --git a/src/config.inc b/src/config.inc
@@ -32,6 +32,7 @@ endif
 #MINISAT2 = ../../minisat-2.2.1
 #IPASIR = ../../ipasir
 #GLUCOSE = ../../glucose-syrup
+CADICAL = ../../cadical
 
 # select default solver to be minisat2 if no other is specified
 ifeq ($(BOOLEFORCE)$(CHAFF)$(GLUCOSE)$(IPASIR)$(LINGELING)$(MINISAT)$(MINISAT2)$(PICOSAT),)
