<div dir="ltr">I'm pleased to announce v7.0 release of SBV, a library for integrating SMT solvers into Haskell.<div><br></div><div>This release adds incremental solving capabilities to SBV: Users can now interact with the underlying solver using a typed API capturing the SMTLib language, issuing commands, getting model values, and asserting further constraints on-the-fly. The possibility of issuing multiple check-sat commands allows incremental assertion of facts, a key feature of modern constraint solving systems.</div><div><br></div><div>  Hackage: <a href="https://hackage.haskell.org/package/sbv">https://hackage.haskell.org/package/sbv</a></div><div>  Homepage: <a href="http://leventerkok.github.io/sbv/">http://leventerkok.github.io/sbv/</a></div><div>  Release notes: <a href="https://github.com/LeventErkok/sbv/blob/master/CHANGES.md">https://github.com/LeventErkok/sbv/blob/master/CHANGES.md</a></div><div>  SMTLib initiative: <a href="http://smtlib.cs.uiowa.edu/">http://smtlib.cs.uiowa.edu/</a></div><div><br></div><div>Feedback and bug reports are most welcome!</div><div><br></div><div>-Levent.</div></div>