Update Kissat to version 4.0.1

pindakaashq · Sep 14, 2024 · e537221 · e537221
1 parent 8e4b76d
commit e537221
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crates/pindakaas-kissat/vendor/kissat b/crates/pindakaas-kissat/vendor/kissat
diff --git a/crates/pindakaas/Cargo.toml b/crates/pindakaas/Cargo.toml
@@ -37,7 +37,7 @@ cadical = ["pindakaas-cadical", "pindakaas-derive"]
 intel-sat = ["pindakaas-intel-sat", "pindakaas-derive"]
 kissat = ["pindakaas-kissat", "pindakaas-derive"]
 trace = ["tracing"]
-default = ["cadical"]
+default = ["splr", "cadical", "kissat", "intel-sat", "ipasir-up"]
 ipasir-up = ["cadical"]
 
 [lints]