Name:           satchmo-examples
Version:        1.4.1

License:        GPL
License-file:	gpl-2.0.txt
Author:         Johannes Waldmann
Maintainer:	Johannes Waldmann
Homepage:       http://dfa.imn.htwk-leipzig.de/satchmo/
Synopsis:       examples that show how to use satchmo
description:	examples that show how to use satchmo
Category:	Algorithms
Cabal-version: >= 1.2
Build-type: Simple

Executable Factor
    Main-is: Factor.hs
    hs-source-dirs:	.
    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array

Executable HC
    Main-is: HC.hs
    hs-source-dirs:	.
    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array

Executable VC
    Main-is: VC.hs
    hs-source-dirs:	.
    Build-depends: satchmo>=1.4, satchmo-funsat>=1.4, process, base, containers, array

Executable QBF
    Main-is: QBF.hs
    hs-source-dirs:	.
    Build-depends: satchmo>=1.4, satchmo-backends>=1.4, process, base, containers, array