diff --git a/src/qipasir.h b/src/qipasir.h index 7d8827f..95cc5f0 100644 --- 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. //