| Copyright | (c) Masahiro Sakai 2018 |
|---|---|
| License | BSD-style |
| Maintainer | masahiro.sakai@gmail.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
ToySolver.Converter.QBF2IPC
Description
References:
- Morten Heine B. Sørensen, and Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism. http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf