Name:           satchmo
Version:        1.3

License:        GPL
License-file:	gpl-2.0.txt
Author:         Johannes Waldmann
Maintainer:	Johannes Waldmann
Homepage:       http://dfa.imn.htwk-leipzig.de/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").
		requires a backend (e.g. satchmo-minisat, satchmo-funsat)
Build-depends:  mtl, process, containers, base, array
Exposed-modules:
	Satchmo.Data
        Satchmo.Solve
        Satchmo.Boolean
	Satchmo.Counting
	Satchmo.Code
	Satchmo.Binary
	Satchmo.Binary.Op.Common
	Satchmo.Binary.Op.Fixed
	Satchmo.Binary.Op.Flexible
	Satchmo.Relation
	Satchmo.Relation.Data
	Satchmo.Relation.Op
	Satchmo.Relation.Prop
Other-modules:
	Satchmo.Binary.Data
        Satchmo.Boolean.Op
        Satchmo.Boolean.Data
	Satchmo.Internal
hs-source-dirs:	.
extensions: 
build-type: Simple