From 77e373663ea7f7949f366de7a1d553b116fd31ca Mon Sep 17 00:00:00 2001
From: Dominik Schreiber <mail@dominikschreiber.de>
Date: Thu, 29 Apr 2021 10:24:23 +0200
Subject: [PATCH] Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index bf02019..1913b90 100644
--- 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).