Added version v1.0 to qipasir interface

MarkusRabe · Mar 10, 2017 · 4469830 · 4469830
1 parent 116cd7e
commit 4469830
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/qipasir.h b/src/qipasir.h
@@ -1,6 +1,8 @@
 //
 // qipasir.h
 //
+// QIPASIR v1.0
+//
 // A generic API for incremental QBF, derived from the API ipasir for SAT.
 //