| Copyright | (c) Masahiro Sakai 2017 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.SAT.ExistentialQuantification
Description
References:
- [BrauerKingKriener2011] Jörg Brauer, Andy King, and Jael Kriener, "Existential quantification as incremental SAT," in Computer Aided Verification (CAV 2011), G. Gopalakrishnan and S. Qadeer, Eds. pp. 191-207. https://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk11a.pdf
- ------------------------------------------------------------------