Name:		toysolver
Version:	0.0.5
x-revision: 4
License:	BSD3
License-File:	COPYING
Author:		Masahiro Sakai (masahiro.sakai@gmail.com)
Maintainer:	masahiro.sakai@gmail.com
Category:	Algorithms, Optimisation, Optimization, Theorem Provers
Cabal-Version:	>= 1.10
Synopsis:	Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Description:	Toy-level implementation of some decision procedures
Bug-Reports:	https://github.com/msakai/toysolver/issues
Extra-Source-Files:
   README.md
   COPYING
   .travis.yml
   src/TseitinEncode.hs
   src/Data/Polyhedron.hs
   src/pbverify.hs
   src/pigeonhole.hs
   src/Algorithm/Wang.hs
   samples/gcnf/*.cnf
   samples/gcnf/*.gcnf
   samples/lp/*.lp
   samples/lp/error/*.lp
   samples/maxsat/*.cnf
   samples/maxsat/*.wcnf
   samples/pbo/*.opb
   samples/pbs/*.opb
   samples/sat/*.cnf
   samples/wbo/*.wbo
   samples/sdp/*.dat
   samples/sdp/*.dat-s
   samples/smt/*.smt2
   samples/qbf/*.qdimacs
   test/TestAReal2.hs
   benchmarks/UF250.1065.100/*.cnf
   benchmarks/UUF250.1065.100/*.cnf
Build-Type: Simple

Flag ForceChar8
  Description: set default encoding to char8 (not to use iconv)
  Default: False

source-repository head
  type:     git
  location: git://github.com/msakai/toysolver.git

Library
  Exposed: False
  Hs-source-dirs: src
  Build-Depends:
     base >=4 && <4.8,
     containers >= 0.4.2, mtl, array, random, stm >=2.3, parsec, bytestring, filepath, deepseq, time, old-locale, primes,
     parse-dimacs, queue, heaps, unbounded-delays, lattices >=1.2.1.1 && < 2, vector-space >=0.8.6, multiset, algebra,
     prettyclass >=1.0.0,
     OptDir, data-interval >=0.2.0 && <1, finite-field >=0.6.0
  Default-Language: Haskell2010
  Other-Extensions:
     BangPatterns
     CPP
     DeriveDataTypeable
     DoRec
     FlexibleInstances
     FunctionalDependencies
     GeneralizedNewtypeDeriving
     MultiParamTypeClasses
     Rank2Types
     ScopedTypeVariables
     TypeFamilies
     TypeSynonymInstances
  Exposed-Modules:
     Algebra.Lattice.Boolean
     Algorithm.BoundsInference
     Algorithm.CAD
     Algorithm.CongruenceClosure
     Algorithm.ContiTraverso
     Algorithm.Cooper
     Algorithm.Cooper.Core
     Algorithm.Cooper.FOL
     Algorithm.FOLModelFinder
     Algorithm.FourierMotzkin
     Algorithm.FourierMotzkin.Core
     Algorithm.FourierMotzkin.FOL
     Algorithm.LPSolver
     Algorithm.LPSolverHL
     Algorithm.LPUtil
     Algorithm.MIPSolverHL
     Algorithm.MIPSolver2
     Algorithm.OmegaTest
     Algorithm.OmegaTest.Misc
     Algorithm.Simplex
     Algorithm.Simplex2
     Converter.ObjType
     Converter.LP2SMT
     Converter.MaxSAT2LP
     Converter.MaxSAT2NLPB
     Converter.MaxSAT2WBO
     Converter.PB2LP
     Converter.PB2LSP
     Converter.PB2WBO
     Converter.PBSetObj
     Converter.PB2SMP
     Converter.SAT2PB
     Converter.SAT2LP
     Converter.WBO2PB
     Data.AlgebraicNumber.Real
     Data.AlgebraicNumber.Root
     Data.ArithRel
     Data.Delta
     Data.DNF
     Data.FOL.Arith
     Data.FOL.Formula
     Data.LA
     Data.LA.FOL
     Data.LBool
     Data.Polynomial
     Data.Polynomial.Factorization.FiniteField
     Data.Polynomial.Factorization.Integer
     Data.Polynomial.Factorization.Rational
     Data.Polynomial.Factorization.SquareFree
     Data.Polynomial.GBasis
     Data.Polynomial.Interpolation.Lagrange
     Data.Polynomial.RootSeparation.Graeffe
     Data.Polynomial.RootSeparation.Sturm
     Data.Sign
     Data.Var
     SAT
     SAT.Integer
     SAT.MUS
     SAT.CAMUS
     SAT.PBO
     SAT.PBO.MSU4
     SAT.PBO.UnsatBased
     SAT.TheorySolver
     SAT.TseitinEncoder
     SAT.Types
     SAT.Printer
     Text.GCNF
     Text.GurobiSol
     Text.LPFile
     Text.MPSFile
     Text.MaxSAT
     Text.PBFile
     Text.SDPFile
     Util
     Version
  Other-Modules:
     Data.IndexedPriorityQueue
     Data.SeqQueue
     Text.Util
     Paths_toysolver
  GHC-Prof-Options: -auto-all

Executable toysolver
  Main-is: toysolver.hs
  HS-Source-Dirs: toysolver
  Build-Depends: base >=4.4 && <5, containers, array, filepath, parsec, OptDir, parse-dimacs, toysolver
  Default-Language: Haskell2010
  if impl(ghc)
    GHC-Options: -threaded
  if impl(ghc >= 7)
    GHC-Options: -rtsopts
  GHC-Prof-Options: -auto-all

Executable toysat
  Main-is: toysat.hs
  HS-Source-Dirs: toysat
  Build-Depends: base >=4 && <5, containers >= 0.4.2, array, parsec, bytestring, filepath, parse-dimacs, time, old-locale, unbounded-delays, vector-space >=0.8.6, toysolver
  Default-Language: Haskell2010
  Other-Extensions: ScopedTypeVariables, CPP
  if impl(ghc >= 7)
    GHC-Options: -rtsopts
  GHC-Prof-Options: -auto-all
  if flag(ForceChar8) && impl(ghc)
    Build-Depends: base >=4.5
    CPP-OPtions: "-DFORCE_CHAR8"

Executable toyfmf
  Main-is: toyfmf.hs
  HS-Source-Dirs: toyfmf
  Build-Depends: base >=4 && <5, containers >= 0.4.2, toysolver, logic-TPTP
  Default-Language: Haskell2010
  if impl(ghc >= 7)
    GHC-Options: -rtsopts
  GHC-Prof-Options: -auto-all

Executable lpconvert
  Main-is: lpconvert.hs
  HS-Source-Dirs: lpconvert
  Build-Depends: base >=4 && <5, containers, filepath, parse-dimacs, toysolver
  Default-Language: Haskell2010

Executable pbconvert
  Main-is: pbconvert.hs
  HS-Source-Dirs: pbconvert
  Build-Depends: base >=4 && <5, containers, filepath, parse-dimacs, toysolver
  Default-Language: Haskell2010

Test-suite TestSAT
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestSAT.hs
  Build-depends:     base >=4 && <5, array, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,HUnit
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestSimplex2
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestSimplex2.hs
  Build-depends:     base >=4 && <5, containers, vector-space >=0.8.6, toysolver, test-framework,test-framework-th,test-framework-hunit,HUnit
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestMIPSolver2
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestMIPSolver2.hs
  Build-depends:     base >=4 && <5, containers, vector-space >=0.8.6, toysolver, test-framework, test-framework-th, test-framework-hunit, HUnit, OptDir, stm
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestPolynomial
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestPolynomial.hs
  Build-depends:     base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3, data-interval >=0.2.0, finite-field >=0.6.0, prettyclass >=1.0.0
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestAReal
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestAReal.hs
  Build-depends:     base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3, data-interval
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell, ScopedTypeVariables

Test-suite TestQE
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestQE.hs
  Build-depends:     base >=4 && <5, containers, vector-space >=0.8.6, toysolver, OptDir, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestContiTraverso
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestContiTraverso.hs
  Build-depends:     base >=4 && <5, containers, vector-space >=0.8.6, toysolver, OptDir, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestLPFile
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestLPFile.hs
  Build-depends:     base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestMPSFile
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestMPSFile.hs
  Build-depends:     base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestPBFile
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestPBFile.hs
  Build-depends:     base >=4 && <5, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Test-suite TestUtil
  Type:              exitcode-stdio-1.0
  HS-Source-Dirs:    test
  Main-is:           TestUtil.hs
  Build-depends:     base >=4 && <5, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2,HUnit,QuickCheck >=2 && <3
  Default-Language: Haskell2010
  Other-Extensions: TemplateHaskell

Benchmark BenchmarkSATLIB
  type:             exitcode-stdio-1.0
  hs-source-dirs:   benchmarks
  main-is:          BenchmarkSATLIB.hs
  build-depends:    base >=4 && <5, array, containers, random, parse-dimacs, toysolver, criterion
  Default-Language: Haskell2010