satchmo: SAT encoding monad

[ library, logic ] [ Propose Tags ]

Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State monad (hence the "mo" in "satchmo"). Requires SAT solver minisat installed.

Versions 1.0, 1.1, 1.1.1, 1.2, 1.3, 1.4, 1.8.0, 1.8.1, 1.9.1, 2.6.0, 2.8.1, 2.8.2, 2.9.0, 2.9.1, 2.9.2, 2.9.3, 2.9.4, 2.9.5, 2.9.6, 2.9.7, 2.9.7.1, 2.9.7.3, 2.9.9, 2.9.9.1, 2.9.9.3
Dependencies array, base, containers, mtl, process [details]
License LicenseRef-GPL
Author Johannes Waldmann
Maintainer Johannes Waldmann
Category Testing
Home page http://dfa.imn.htwk-leipzig.de/satchmo/
Uploaded by JohannesWaldmann at Tue Mar 31 06:09:33 UTC 2009
Distributions NixOS:2.9.9.3
Downloads 7225 total (355 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees