Name:           satchmo
Version:        2.9.5

License:        GPL
License-file:	gpl-2.0.txt
Author:         Pepe Iborra, Johannes Waldmann, Alexander Bau
Maintainer:	Johannes Waldmann
Homepage:       https://github.com/jwaldmann/satchmo
Synopsis:       SAT encoding monad
description:	Encoding for boolean and integral constraints into CNF-SAT.
		The encoder is provided as a State monad 
		(hence the "mo" in "satchmo").

Category:	Logic
cabal-version:  >= 1.8
build-type: Simple
source-repository head
    type: git
    location:   https://github.com/jwaldmann/satchmo

Library
    ghc-options: -funbox-strict-fields
    Build-depends:  mtl, process, containers, base == 4.*,
               array, bytestring, directory, minisat >= 0.1
    Exposed-modules:
        Satchmo.Data
        -- Satchmo.Data.Default
        -- Satchmo.Solve
        Satchmo.Boolean
        Satchmo.Counting
        Satchmo.Counting.Unary
        Satchmo.Counting.Binary
        Satchmo.Counting.Direct
        Satchmo.Code
        Satchmo.Integer
        Satchmo.Binary
        Satchmo.Binary.Op.Common
        Satchmo.Binary.Op.Times
        Satchmo.Binary.Op.Fixed
        Satchmo.Binary.Op.Flexible
        Satchmo.BinaryTwosComplement.Op.Fixed
        Satchmo.BinaryTwosComplement
        Satchmo.Unary
        Satchmo.Unary.Op.Common
        Satchmo.Unary.Op.Fixed
        Satchmo.Unary.Op.Flexible
        Satchmo.Polynomial
        Satchmo.PolynomialN
        Satchmo.PolynomialSOS
        Satchmo.Relation
        Satchmo.Relation.Data
        Satchmo.Relation.Op
        Satchmo.Relation.Prop
        Satchmo.MonadSAT
        Satchmo.SAT
        Satchmo.SAT.Tmpfile
        Satchmo.SAT.Mini
        -- Satchmo.SAT.BS
        -- Satchmo.SAT.Seq
        -- Satchmo.SAT.Sequence
        -- Satchmo.Simple
        -- Satchmo.SAT.Weighted
        Satchmo.Set
        Satchmo.Set.Data
        Satchmo.Set.Op
        Satchmo.Map
        Satchmo.Map.Data
        Satchmo.Array
        Satchmo.Numeric
        Satchmo.Binary.Numeric
        Satchmo.BinaryTwosComplement.Numeric
        Satchmo.Integer.Difference
        Satchmo.Polynomial.Numeric
        -- Satchmo.SMT.Exotic.Domain
        -- Satchmo.SMT.Exotic.Dict
        -- Satchmo.SMT.Exotic.Arctic
        -- Satchmo.SMT.Exotic.Arctic.Integer
        -- Satchmo.SMT.Exotic.Fuzzy
        -- Satchmo.SMT.Exotic.Tropical
        -- Satchmo.SMT.Exotic.Natural
        -- Satchmo.SMT.Exotic.Semiring.Rational
        -- Satchmo.SMT.Exotic.Semiring.Arctic
        -- Satchmo.SMT.Exotic.Semiring.Fuzzy
        -- Satchmo.SMT.Exotic.Semiring.Tropical
        -- Satchmo.SMT.Exotic.Semiring.Natural
        -- Satchmo.SMT.Exotic.Semiring.Class
        -- Satchmo.SMT.Exotic.Semiring
    Other-modules:
        Satchmo.Binary.Data
        Satchmo.BinaryTwosComplement.Data
        Satchmo.BinaryTwosComplement.Op.Common
        Satchmo.Unary.Data
        Satchmo.Integer.Data
        Satchmo.Boolean.Op
        Satchmo.Integer.Op
        Satchmo.Boolean.Data
    hs-source-dirs:     .
    extensions: 

Test-Suite Ramsey
  Type: exitcode-stdio-1.0
  hs-source-dirs: examples
  Main-Is: Ramsey.hs
  Build-Depends: base, array, satchmo