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").

Versions [faq] 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, lens, minisat (>=0.1), mtl, process [details]
License LicenseRef-GPL
Author Pepe Iborra, Johannes Waldmann, Alexander Bau
Maintainer Johannes Waldmann
Category Logic
Home page https://github.com/jwaldmann/satchmo
Source repo head: git clone https://github.com/jwaldmann/satchmo
Uploaded by JohannesWaldmann at Fri Mar 20 16:39:33 UTC 2015
Distributions NixOS:2.9.9.3
Downloads 7592 total (91 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2015-11-24 [all 7 reports]

Modules

  • Satchmo
    • Satchmo.Array
    • Satchmo.Binary
      • Satchmo.Binary.Numeric
      • Op
        • Satchmo.Binary.Op.Common
        • Satchmo.Binary.Op.Fixed
        • Satchmo.Binary.Op.Flexible
        • Satchmo.Binary.Op.Times
    • Satchmo.BinaryTwosComplement
      • Satchmo.BinaryTwosComplement.Numeric
      • Op
        • Satchmo.BinaryTwosComplement.Op.Fixed
    • Satchmo.Boolean
    • Satchmo.Code
    • Satchmo.Counting
      • Satchmo.Counting.Binary
      • Satchmo.Counting.Direct
      • Satchmo.Counting.Unary
    • Satchmo.Data
    • Satchmo.Fourier_Motzkin
    • Satchmo.Integer
      • Satchmo.Integer.Difference
    • Satchmo.Map
      • Satchmo.Map.Data
    • Satchmo.MonadSAT
    • Satchmo.Numeric
    • Satchmo.Polynomial
      • Satchmo.Polynomial.Numeric
    • Satchmo.PolynomialN
    • Satchmo.PolynomialSOS
    • Satchmo.Relation
      • Satchmo.Relation.Data
      • Satchmo.Relation.Op
      • Satchmo.Relation.Prop
    • Satchmo.SAT
      • Satchmo.SAT.CNF
      • Satchmo.SAT.Mini
      • Satchmo.SAT.Tmpfile
    • Satchmo.Set
      • Satchmo.Set.Data
      • Satchmo.Set.Op
    • Satchmo.Unary
      • Op
        • Satchmo.Unary.Op.Common
        • Satchmo.Unary.Op.Fixed
        • Satchmo.Unary.Op.Flexible

Downloads

Maintainer's Corner

For package maintainers and hackage trustees