Initial commit

domschrei · Apr 14, 2021 · ffb8c20 · ffb8c20
commit ffb8c20
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,2 @@
+# mallob-ipasir-bridge
+An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving