satchmo-1.9.1: satchmo.cabal

Name:           satchmo
Version:        1.9.1

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
cabal-version:  >= 1.6
build-type: Simple

Library
    ghc-options: -funbox-strict-fields
    Build-depends:  mtl, process, containers, base == 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.SAT.Tmpfile
        Satchmo.SAT.BS
        Satchmo.SAT.Seq
        Satchmo.SAT.Sequence
        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: