The latest version of minisat is 0.1.3-1.
minisat
Version 0.1 revision 0 uploaded by JeroenBransen.
Package meta
- Synopsis
- A Haskell bundle of the Minisat SAT solver
- Description
- Author
- n/a
- Bug reports
- n/a
- Category
- Logic
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- n/a
- Package URL
- n/a
- Stability
- n/a