| Copyright | © Masahiro Sakai 2014 |
|---|---|
| License | BSD3 |
| Maintainer | Masahiro Sakai <masahiro.sakai@gmail.com> |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Ersatz.Solver.Toysat
Description
ersatz-toysat-0.2.2.0: toysat driver as backend for ersatz