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