The satchmo package

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
Dependencies	array, base (4.*), bytestring, containers, directory, minisat (≥0.1), mtl, process
License	GPL
Author	Pepe Iborra, Johannes Waldmann, Alexander Bau
Maintainer	Johannes Waldmann
Category	Logic
Home page	<https://github.com/jwaldmann/satchmo>
Source repository	git clone https://github.com/jwaldmann/satchmo
Upload date	Sat Feb 16 16:03:30 UTC 2013
Uploaded by	JohannesWaldmann
Build failure	ghc-7.6 (log)

Modules

Satchmo
- 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.Data
- Satchmo.Integer
  - Satchmo.Integer.Difference
- 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.Mini
  - Satchmo.SAT.Tmpfile
- SMT
  - Exotic
    - Satchmo.SMT.Exotic.Arctic
      - Satchmo.SMT.Exotic.Arctic.Integer
    - Satchmo.SMT.Exotic.Dict
    - Satchmo.SMT.Exotic.Domain
    - Satchmo.SMT.Exotic.Fuzzy
    - Satchmo.SMT.Exotic.Natural
    - Satchmo.SMT.Exotic.Semiring
      - Satchmo.SMT.Exotic.Semiring.Arctic
      - Satchmo.SMT.Exotic.Semiring.Class
      - Satchmo.SMT.Exotic.Semiring.Fuzzy
      - Satchmo.SMT.Exotic.Semiring.Natural
      - Satchmo.SMT.Exotic.Semiring.Rational
      - Satchmo.SMT.Exotic.Semiring.Tropical
    - Satchmo.SMT.Exotic.Tropical
- Satchmo.Unary
  - Op
    - Satchmo.Unary.Op.Common
    - Satchmo.Unary.Op.Fixed
    - Satchmo.Unary.Op.Flexible

Downloads

satchmo-2.6.0.tar.gz (Cabal source package)
package description (included in the package)