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 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 19:16:10 UTC 2015
Distributions NixOS:2.9.9.3
Downloads 6870 total (17 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-11-24 [all 7 reports]
Hackage Matrix CI

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