Update README.md

domschrei · Apr 29, 2021 · 77e3736 · 77e3736
1 parent 82f3017
commit 77e3736
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).