Merge branch 'master' of github.com:domschrei/mallob-ipasir-bridge

domschrei · May 18, 2021 · 56ebe45 · 56ebe45
2 parents 9696b65 + 77e3736
commit 56ebe45
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -17,5 +17,6 @@ For each call to `solve()`, this IPASIR bridge creates a JSON request file and p
 
 ## ToDos
 
+* Mallob's support for incremental SAT is not fully functional yet, so the version of Mallob with incremental SAT still resides on a separate "incremental" branch.
 * The termination method is not functional yet because Mallob does not yet support arbitrary interruption of a certain incremental job "from the outside".
 * No clauses are reported even if a callback is supplied: Mallob does not export clauses to the outside (yet).