Name:           satchmo-examples
Version:        1.8.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.6
Build-type: Simple

Executable Factor
    Main-is: Factor.hs
    ghc-options: -threaded
    hs-source-dirs:	.
    Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array

Executable HC
    Main-is: HC.hs
    ghc-options: -threaded
    hs-source-dirs:	.
    Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array

Executable VC
    Main-is: VC.hs
    ghc-options: -threaded
    hs-source-dirs:	.
    Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array

-- Executable QBF
--    Main-is: QBF.hs
--    ghc-options: -threaded
--    hs-source-dirs:	.
--    Build-depends: satchmo>=1.8, satchmo-backends>=1.8, process, base == 4.*, containers, array