satchmo-1.8.0: satchmo.cabal

Name:           satchmo
Version:        1.8.0

License:        GPL
License-file:	gpl-2.0.txt
Author:         Pepe Iborra, Johannes Waldmann
Maintainer:	Johannes Waldmann
Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
		http://github.com/pepeiborra/satchmo/
Synopsis:       SAT encoding monad
description:	Encoding for boolean and integral constraints into (QBF-)CNF-SAT.
		The encoder is provided as a State monad (hence the "mo" in "satchmo").
		This package contains functions that construct problems,
                to solve them, you need package satchmo-backends.
Category:	Algorithms
Build-depends:  mtl, process, containers, base >= 3 && <= 4, array, bytestring, directory
Exposed-modules:
	Satchmo.Data
        Satchmo.Solve
        Satchmo.Boolean
	Satchmo.Counting
	Satchmo.Code
	Satchmo.Binary
	Satchmo.Integer
	Satchmo.Binary.Op.Common
	Satchmo.Binary.Op.Fixed
	Satchmo.Binary.Op.Flexible
	Satchmo.Polynomial
	Satchmo.Relation
	Satchmo.Relation.Data
	Satchmo.Relation.Op
	Satchmo.Relation.Prop
	Satchmo.MonadSAT
	Satchmo.SAT
	Satchmo.Simple
	Satchmo.SAT.Weighted
Other-modules:
	Satchmo.Binary.Data
	Satchmo.Integer.Data
        Satchmo.Boolean.Op
        Satchmo.Integer.Op
        Satchmo.Boolean.Data
hs-source-dirs:	.
extensions: 
build-type: Simple
ghc-options: -funbox-strict-fields
ghc-prof-options: -auto