Update README.md

domschrei · May 28, 2021 · 858cfbb · 858cfbb
1 parent 56ebe45
commit 858cfbb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -17,6 +17,5 @@ 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).