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"). Requires SAT solver "minisat" installed.

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, containers, mtl, process [details]
License GPL
Author Johannes Waldmann
Maintainer Johannes Waldmann
Home page http://dfa.imn.htwk-leipzig.de/satchmo/
Uploaded Tue Mar 31 20:07:54 UTC 2009 by JohannesWaldmann
Distributions NixOS:2.9.9.3
Downloads 3746 total (37 in the last 30 days)
Rating 0.0 (0 ratings) [clear 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