From 858cfbb348b9a15d8c01fd30a52c5405ad53a138 Mon Sep 17 00:00:00 2001 From: Dominik Schreiber Date: Fri, 28 May 2021 17:35:46 +0200 Subject: [PATCH] Update README.md --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 1913b90..bf02019 100644 --- 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).