The satchmo package

[ Tags: gpl, 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"). This package depends on minisat-haskell-bindings, see https://github.com/niklasso/minisat-haskell-bindings

Properties

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 (==4.*), bytestring, containers, directory, minisat (>=0.1), mtl, process [details]
License GPL
Author Pepe Iborra, Johannes Waldmann, Alexander Bau
Maintainer Johannes Waldmann
Category Logic
Home page <https://github.com/jwaldmann/satchmo>
Source repository head: git clone https://github.com/jwaldmann/satchmo
Uploaded Sat Feb 16 16:03:30 UTC 2013 by JohannesWaldmann
Distributions NixOS:2.9.9.3
Downloads 4129 total (309 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