add todo

NikolajBjorner · agurfinkel · commit ffdefa4f65c9 · 2018-06-14T16:08:48.000-07:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/todo.txt b/todo.txt
@@ -0,0 +1,9 @@
+- consolidate virtual-solver and pool solver
+
+- fixup mbp/mbi
+
+- API additions to expose functionality
+
+- Equality solver
+
+- Generalizer index
