The latest version of satchmo-funsat is 1.4-0.
satchmo-funsat
Version 1.3 revision 0 uploaded by JohannesWaldmann.
Package meta
- Synopsis
- funsat driver as backend for satchmo
- Description
this driver calls funsat (download from hackage) to solve CNF-SAT constraints produced by satchmo
- Author
- Johannes Waldmann
- Bug reports
- n/a
- Category
- n/a
- Copyright
- n/a
- Homepage
- http://dfa.imn.htwk-leipzig.de/satchmo/
- Maintainer
- Johannes Waldmann
- Package URL
- n/a
- Stability
- n/a