Cabal revisions of toysolver-0.2.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: toysolver-Version: 0.2.0-License: BSD3-License-File: COPYING-Author: Masahiro Sakai (masahiro.sakai@gmail.com)-Maintainer: masahiro.sakai@gmail.com-Category: Algorithms, Optimisation, Optimization, Theorem Provers, Constraints-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-Tested-With:- GHC ==7.4.2- GHC ==7.6.3- GHC ==7.8.2-Extra-Source-Files:- README.md- COPYING- .ghci- .travis.yml- src/TseitinEncode.hs- src/ToySolver/Data/Polyhedron.hs- samples/gcnf/*.cnf- samples/gcnf/*.gcnf- samples/lp/*.lp- samples/lp/error/*.lp- samples/maxsat/*.cnf- samples/maxsat/*.wcnf- samples/mps/*.mps- samples/pbo/*.opb- samples/pbs/*.opb- samples/sat/*.cnf- samples/wbo/*.wbo- samples/sdp/*.dat- samples/sdp/*.dat-s- samples/smt/*.smt2- samples/smt/*.ys- samples/qbf/*.qdimacs- samples/programs/sudoku/*.sdk- samples/programs/knapsack/README.md- samples/programs/knapsack/*.txt- samples/programs/htc/test1.dat- samples/programs/htc/test2.dat- 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- Manual: True--Flag BuildToyFMF- Description: build toyfmf command- Default: False- Manual: True--Flag BuildSamplePrograms- Description: build sample programs- Default: False- Manual: True--Flag BuildMiscPrograms- Description: build misc programs- Default: False- Manual: True--Flag Exceptions06- Description: use exceptions >=0.6- Manual: False--Flag Random1013- Description: use random >=1.0.1.3- Manual: False--Flag Time15- Description: use time >=1.5.0- Manual: False--source-repository head- type: git- location: git://github.com/msakai/toysolver.git--Library- Exposed: True- Hs-source-dirs: src- Build-Depends:- base >=4 && <5,- containers >= 0.4.2, unordered-containers >=0.2.3 && <0.3.0, mtl >=2.1.2, array >=0.4.0.0, stm >=2.3, parsec >=3.1.2 && <4, bytestring, filepath, deepseq, time, primes, process >=1.1.0.2,- parse-dimacs, queue, heaps, unbounded-delays, vector-space >=0.8.6, multiset,- prettyclass >=1.0.0, type-level-numbers >=0.1.1.0 && <0.2.0.0, hashable >=1.1.2.5 && <1.3.0.0, intern >=0.9.1.2 && <1.0.0.0,- loop >=0.2.0 && < 1.0.0, data-default-class,- OptDir, extended-reals >=0.1 && <1.0, data-interval >=1.0.1 && <1.3.0, finite-field >=0.7.0 && <1.0.0, sign >=0.2.0 && <1.0.0- -- NOTE: temporary-1.2.0.2 does not work with exceptions-0.6- if flag(Exceptions06)- Build-Depends: temporary >1.2.0.2, exceptions >=0.6- else- Build-Depends: temporary >=1.2, exceptions ==0.5- -- NOTE: random-1.0.1.3 uses atomicModifyIORef' which is provided by base >=4.6.0.0.- if flag(Random1013)- Build-Depends: base >=4.6.0.0, random >=1.0.1.3- else- Build-Depends: random <1.0.1.3- if impl(ghc)- Build-Depends: ghc-prim- Default-Language: Haskell2010- Other-Extensions:- BangPatterns- CPP- DeriveDataTypeable- DoRec- FlexibleInstances- FunctionalDependencies- GeneralizedNewtypeDeriving- MultiParamTypeClasses- Rank2Types- ScopedTypeVariables- TypeFamilies- TypeSynonymInstances- OverloadedStrings- Exposed-Modules:- ToySolver.Arith.BoundsInference- ToySolver.Arith.CAD- ToySolver.Arith.ContiTraverso- ToySolver.Arith.Cooper- ToySolver.Arith.Cooper.Base- ToySolver.Arith.Cooper.FOL- ToySolver.Arith.FourierMotzkin- ToySolver.Arith.FourierMotzkin.Base- ToySolver.Arith.FourierMotzkin.FOL- ToySolver.Arith.FourierMotzkin.Optimization- ToySolver.Arith.LPSolver- ToySolver.Arith.LPSolverHL- ToySolver.Arith.LPUtil- ToySolver.Arith.MIPSolverHL- ToySolver.Arith.MIPSolver2- ToySolver.Arith.OmegaTest- ToySolver.Arith.OmegaTest.Base- ToySolver.Arith.Simplex- ToySolver.Arith.Simplex2- ToySolver.Arith.VirtualSubstitution- ToySolver.CongruenceClosure- ToySolver.FOLModelFinder- ToySolver.Combinatorial.HittingSet.Simple- ToySolver.Combinatorial.HittingSet.HTCBDD- ToySolver.Combinatorial.HittingSet.SHD- ToySolver.Combinatorial.Knapsack.BB- ToySolver.Combinatorial.Knapsack.DP- ToySolver.Converter.ObjType- ToySolver.Converter.MIP2SMT- ToySolver.Converter.MaxSAT2IP- ToySolver.Converter.MaxSAT2NLPB- ToySolver.Converter.MaxSAT2WBO- ToySolver.Converter.PB2IP- ToySolver.Converter.PB2LSP- ToySolver.Converter.PB2WBO- ToySolver.Converter.PBSetObj- ToySolver.Converter.PB2SMP- ToySolver.Converter.SAT2PB- ToySolver.Converter.SAT2IP- ToySolver.Converter.WBO2PB- ToySolver.Data.AlgebraicNumber.Complex- ToySolver.Data.AlgebraicNumber.Real- ToySolver.Data.AlgebraicNumber.Root- ToySolver.Data.AlgebraicNumber.Sturm- ToySolver.Data.ArithRel- ToySolver.Data.Boolean- ToySolver.Data.BoolExpr- ToySolver.Data.Delta- ToySolver.Data.DNF- ToySolver.Data.FOL.Arith- ToySolver.Data.FOL.Formula- ToySolver.Data.LA- ToySolver.Data.LA.FOL- ToySolver.Data.LBool- ToySolver.Data.MIP- ToySolver.Data.MIP.Base- ToySolver.Data.Polynomial- ToySolver.Data.Polynomial.Factorization.FiniteField- ToySolver.Data.Polynomial.Factorization.Hensel- ToySolver.Data.Polynomial.Factorization.Hensel.Internal- ToySolver.Data.Polynomial.Factorization.Integer- ToySolver.Data.Polynomial.Factorization.Kronecker- ToySolver.Data.Polynomial.Factorization.Rational- ToySolver.Data.Polynomial.Factorization.SquareFree- ToySolver.Data.Polynomial.Factorization.Zassenhaus- ToySolver.Data.Polynomial.GroebnerBasis- ToySolver.Data.Polynomial.Interpolation.Lagrange- ToySolver.Data.Var- ToySolver.SAT- ToySolver.SAT.Integer- ToySolver.SAT.MUS- ToySolver.SAT.MUS.CAMUS- ToySolver.SAT.MUS.DAA- ToySolver.SAT.MUS.Types- ToySolver.SAT.PBO- ToySolver.SAT.PBO.Context- ToySolver.SAT.PBO.BC- ToySolver.SAT.PBO.BCD- ToySolver.SAT.PBO.BCD2- ToySolver.SAT.PBO.MSU4- ToySolver.SAT.PBO.UnsatBased- ToySolver.SAT.TheorySolver- ToySolver.SAT.TseitinEncoder- ToySolver.SAT.Types- ToySolver.SAT.Printer- ToySolver.Text.GCNF- ToySolver.Text.GurobiSol- ToySolver.Text.LPFile- ToySolver.Text.MPSFile- ToySolver.Text.MaxSAT- ToySolver.Text.PBFile- ToySolver.Text.SDPFile- ToySolver.Internal.Data.IndexedPriorityQueue- ToySolver.Internal.Data.IOURef- ToySolver.Internal.Data.PriorityQueue- ToySolver.Internal.Data.SeqQueue- ToySolver.Internal.Data.Vec- ToySolver.Internal.ProcessUtil- ToySolver.Internal.TextUtil- ToySolver.Internal.Util- ToySolver.Wang- ToySolver.Version- Other-Modules:- ToySolver.Data.AlgebraicNumber.Graeffe- ToySolver.Data.Polynomial.Base- 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, data-default-class, 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- Other-Modules: UBCSAT- HS-Source-Dirs: toysat- Build-Depends: base >=4 && <5, data-default-class, random, containers >= 0.4.2, array, process >=1.1.0.2, parsec, bytestring, filepath, parse-dimacs, unbounded-delays, vector-space >=0.8.6, toysolver- if flag(Time15)- Build-Depends: time >=1.5.0- else- Build-Depends: time <1.5.0, old-locale- 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- If !flag(BuildToyFMF)- Buildable: False- Main-is: toyfmf.hs- HS-Source-Dirs: toyfmf- If flag(BuildToyFMF)- Build-Depends: base >=4 && <5, containers >= 0.4.2, toysolver, logic-TPTP >=0.4.1- Default-Language: Haskell2010- if impl(ghc >= 7)- GHC-Options: -rtsopts- GHC-Prof-Options: -auto-all---- Converters--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---- Sample Programs--Executable sudoku- If !flag(BuildSamplePrograms)- Buildable: False- Main-is: sudoku.hs- HS-Source-Dirs: samples/programs/sudoku- Build-Depends: base, array, toysolver- Default-Language: Haskell2010--Executable nqueens- If !flag(BuildSamplePrograms)- Buildable: False- Main-is: nqueens.hs- HS-Source-Dirs: samples/programs/nqueens- Build-Depends: base, array, toysolver- Default-Language: Haskell2010--Executable knapsack- If !flag(BuildSamplePrograms)- Buildable: False- Main-is: knapsack.hs- HS-Source-Dirs: samples/programs/knapsack- Build-Depends: base, array, toysolver- Default-Language: Haskell2010--Executable htc- If !flag(BuildSamplePrograms)- Buildable: False- Main-is: htc.hs- HS-Source-Dirs: samples/programs/htc- Build-Depends: base, containers, toysolver- Default-Language: Haskell2010---- Misc Programs--Executable pigeonhole- If !flag(BuildMiscPrograms)- Buildable: False- Main-is: pigeonhole.hs- HS-Source-Dirs: pigeonhole- Build-Depends: base >=4 && <5, containers, filepath, toysolver- Default-Language: Haskell2010--Executable maxsatverify- If !flag(BuildMiscPrograms)- Buildable: False- Main-is: maxsatverify.hs- HS-Source-Dirs: maxsatverify- Build-Depends: base >=4 && <5, array, containers, filepath, toysolver- Default-Language: Haskell2010--Executable pbverify- Main-is: pbverify.hs- HS-Source-Dirs: pbverify- Build-Depends: base >=4 && <5, array, containers, filepath, toysolver- Default-Language: Haskell2010---- Test suites and benchmarks--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,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3- Default-Language: Haskell2010- Other-Extensions: TemplateHaskell--Test-suite TestSimplex- Type: exitcode-stdio-1.0- HS-Source-Dirs: test- Main-is: TestSimplex.hs- Build-depends: base >=4 && <5, containers, mtl, 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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3, data-interval, finite-field >=0.7.0 && <1.0.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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3, data-interval- Default-Language: Haskell2010- Other-Extensions: TemplateHaskell, ScopedTypeVariables--Test-suite TestArith- Type: exitcode-stdio-1.0- HS-Source-Dirs: test- Main-is: TestArith.hs- Build-depends: base >=4 && <5, containers, vector-space >=0.8.6, toysolver, data-interval, OptDir, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3- Default-Language: Haskell2010- Other-Extensions: TemplateHaskell--Test-suite TestCongruenceClosure- Type: exitcode-stdio-1.0- HS-Source-Dirs: test- Main-is: TestCongruenceClosure.hs- Build-depends: base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3- Default-Language: Haskell2010- Other-Extensions: TemplateHaskell--Test-suite TestSDPFile- Type: exitcode-stdio-1.0- HS-Source-Dirs: test- Main-is: TestSDPFile.hs- Build-depends: base >=4 && <5, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3- Default-Language: Haskell2010- Other-Extensions: TemplateHaskell, ScopedTypeVariables--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 >=1.0 && <1.1- Default-Language: Haskell2010+Name: toysolver +Version: 0.2.0 +x-revision: 1 +License: BSD3 +License-File: COPYING +Author: Masahiro Sakai (masahiro.sakai@gmail.com) +Maintainer: masahiro.sakai@gmail.com +Category: Algorithms, Optimisation, Optimization, Theorem Provers, Constraints +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 +Tested-With: + GHC ==7.4.2 + GHC ==7.6.3 + GHC ==7.8.2 +Extra-Source-Files: + README.md + COPYING + .ghci + .travis.yml + src/TseitinEncode.hs + src/ToySolver/Data/Polyhedron.hs + samples/gcnf/*.cnf + samples/gcnf/*.gcnf + samples/lp/*.lp + samples/lp/error/*.lp + samples/maxsat/*.cnf + samples/maxsat/*.wcnf + samples/mps/*.mps + samples/pbo/*.opb + samples/pbs/*.opb + samples/sat/*.cnf + samples/wbo/*.wbo + samples/sdp/*.dat + samples/sdp/*.dat-s + samples/smt/*.smt2 + samples/smt/*.ys + samples/qbf/*.qdimacs + samples/programs/sudoku/*.sdk + samples/programs/knapsack/README.md + samples/programs/knapsack/*.txt + samples/programs/htc/test1.dat + samples/programs/htc/test2.dat + 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 + Manual: True + +Flag BuildToyFMF + Description: build toyfmf command + Default: False + Manual: True + +Flag BuildSamplePrograms + Description: build sample programs + Default: False + Manual: True + +Flag BuildMiscPrograms + Description: build misc programs + Default: False + Manual: True + +Flag Exceptions06 + Description: use exceptions >=0.6 + Manual: False + +Flag Random1013 + Description: use random >=1.0.1.3 + Manual: False + +Flag Time15 + Description: use time >=1.5.0 + Manual: False + +source-repository head + type: git + location: git://github.com/msakai/toysolver.git + +Library + Exposed: True + Hs-source-dirs: src + Build-Depends: + base >=4 && <5, + containers >= 0.4.2, unordered-containers >=0.2.3 && <0.3.0, mtl >=2.1.2, array >=0.4.0.0, stm >=2.3, parsec >=3.1.2 && <4, bytestring, filepath, deepseq <1.4, time, primes, process >=1.1.0.2, + parse-dimacs, queue, heaps, unbounded-delays, vector-space >=0.8.6, multiset, + prettyclass >=1.0.0, type-level-numbers >=0.1.1.0 && <0.2.0.0, hashable >=1.1.2.5 && <1.3.0.0, intern >=0.9.1.2 && <1.0.0.0, + loop >=0.2.0 && < 1.0.0, data-default-class, + OptDir, extended-reals >=0.1 && <1.0, data-interval >=1.0.1 && <1.3.0, finite-field >=0.7.0 && <1.0.0, sign >=0.2.0 && <1.0.0 + -- NOTE: temporary-1.2.0.2 does not work with exceptions-0.6 + if flag(Exceptions06) + Build-Depends: temporary >1.2.0.2, exceptions >=0.6 + else + Build-Depends: temporary >=1.2, exceptions ==0.5 + -- NOTE: random-1.0.1.3 uses atomicModifyIORef' which is provided by base >=4.6.0.0. + if flag(Random1013) + Build-Depends: base >=4.6.0.0, random >=1.0.1.3 + else + Build-Depends: random <1.0.1.3 + if impl(ghc) + Build-Depends: ghc-prim + Default-Language: Haskell2010 + Other-Extensions: + BangPatterns + CPP + DeriveDataTypeable + DoRec + FlexibleInstances + FunctionalDependencies + GeneralizedNewtypeDeriving + MultiParamTypeClasses + Rank2Types + ScopedTypeVariables + TypeFamilies + TypeSynonymInstances + OverloadedStrings + Exposed-Modules: + ToySolver.Arith.BoundsInference + ToySolver.Arith.CAD + ToySolver.Arith.ContiTraverso + ToySolver.Arith.Cooper + ToySolver.Arith.Cooper.Base + ToySolver.Arith.Cooper.FOL + ToySolver.Arith.FourierMotzkin + ToySolver.Arith.FourierMotzkin.Base + ToySolver.Arith.FourierMotzkin.FOL + ToySolver.Arith.FourierMotzkin.Optimization + ToySolver.Arith.LPSolver + ToySolver.Arith.LPSolverHL + ToySolver.Arith.LPUtil + ToySolver.Arith.MIPSolverHL + ToySolver.Arith.MIPSolver2 + ToySolver.Arith.OmegaTest + ToySolver.Arith.OmegaTest.Base + ToySolver.Arith.Simplex + ToySolver.Arith.Simplex2 + ToySolver.Arith.VirtualSubstitution + ToySolver.CongruenceClosure + ToySolver.FOLModelFinder + ToySolver.Combinatorial.HittingSet.Simple + ToySolver.Combinatorial.HittingSet.HTCBDD + ToySolver.Combinatorial.HittingSet.SHD + ToySolver.Combinatorial.Knapsack.BB + ToySolver.Combinatorial.Knapsack.DP + ToySolver.Converter.ObjType + ToySolver.Converter.MIP2SMT + ToySolver.Converter.MaxSAT2IP + ToySolver.Converter.MaxSAT2NLPB + ToySolver.Converter.MaxSAT2WBO + ToySolver.Converter.PB2IP + ToySolver.Converter.PB2LSP + ToySolver.Converter.PB2WBO + ToySolver.Converter.PBSetObj + ToySolver.Converter.PB2SMP + ToySolver.Converter.SAT2PB + ToySolver.Converter.SAT2IP + ToySolver.Converter.WBO2PB + ToySolver.Data.AlgebraicNumber.Complex + ToySolver.Data.AlgebraicNumber.Real + ToySolver.Data.AlgebraicNumber.Root + ToySolver.Data.AlgebraicNumber.Sturm + ToySolver.Data.ArithRel + ToySolver.Data.Boolean + ToySolver.Data.BoolExpr + ToySolver.Data.Delta + ToySolver.Data.DNF + ToySolver.Data.FOL.Arith + ToySolver.Data.FOL.Formula + ToySolver.Data.LA + ToySolver.Data.LA.FOL + ToySolver.Data.LBool + ToySolver.Data.MIP + ToySolver.Data.MIP.Base + ToySolver.Data.Polynomial + ToySolver.Data.Polynomial.Factorization.FiniteField + ToySolver.Data.Polynomial.Factorization.Hensel + ToySolver.Data.Polynomial.Factorization.Hensel.Internal + ToySolver.Data.Polynomial.Factorization.Integer + ToySolver.Data.Polynomial.Factorization.Kronecker + ToySolver.Data.Polynomial.Factorization.Rational + ToySolver.Data.Polynomial.Factorization.SquareFree + ToySolver.Data.Polynomial.Factorization.Zassenhaus + ToySolver.Data.Polynomial.GroebnerBasis + ToySolver.Data.Polynomial.Interpolation.Lagrange + ToySolver.Data.Var + ToySolver.SAT + ToySolver.SAT.Integer + ToySolver.SAT.MUS + ToySolver.SAT.MUS.CAMUS + ToySolver.SAT.MUS.DAA + ToySolver.SAT.MUS.Types + ToySolver.SAT.PBO + ToySolver.SAT.PBO.Context + ToySolver.SAT.PBO.BC + ToySolver.SAT.PBO.BCD + ToySolver.SAT.PBO.BCD2 + ToySolver.SAT.PBO.MSU4 + ToySolver.SAT.PBO.UnsatBased + ToySolver.SAT.TheorySolver + ToySolver.SAT.TseitinEncoder + ToySolver.SAT.Types + ToySolver.SAT.Printer + ToySolver.Text.GCNF + ToySolver.Text.GurobiSol + ToySolver.Text.LPFile + ToySolver.Text.MPSFile + ToySolver.Text.MaxSAT + ToySolver.Text.PBFile + ToySolver.Text.SDPFile + ToySolver.Internal.Data.IndexedPriorityQueue + ToySolver.Internal.Data.IOURef + ToySolver.Internal.Data.PriorityQueue + ToySolver.Internal.Data.SeqQueue + ToySolver.Internal.Data.Vec + ToySolver.Internal.ProcessUtil + ToySolver.Internal.TextUtil + ToySolver.Internal.Util + ToySolver.Wang + ToySolver.Version + Other-Modules: + ToySolver.Data.AlgebraicNumber.Graeffe + ToySolver.Data.Polynomial.Base + 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, data-default-class, 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 + Other-Modules: UBCSAT + HS-Source-Dirs: toysat + Build-Depends: base >=4 && <5, data-default-class, random, containers >= 0.4.2, array, process >=1.1.0.2, parsec, bytestring, filepath, parse-dimacs, unbounded-delays, vector-space >=0.8.6, toysolver + if flag(Time15) + Build-Depends: time >=1.5.0 + else + Build-Depends: time <1.5.0, old-locale + 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 + If !flag(BuildToyFMF) + Buildable: False + Main-is: toyfmf.hs + HS-Source-Dirs: toyfmf + If flag(BuildToyFMF) + Build-Depends: base >=4 && <5, containers >= 0.4.2, toysolver, logic-TPTP >=0.4.1 + Default-Language: Haskell2010 + if impl(ghc >= 7) + GHC-Options: -rtsopts + GHC-Prof-Options: -auto-all + +-- Converters + +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 + +-- Sample Programs + +Executable sudoku + If !flag(BuildSamplePrograms) + Buildable: False + Main-is: sudoku.hs + HS-Source-Dirs: samples/programs/sudoku + Build-Depends: base, array, toysolver + Default-Language: Haskell2010 + +Executable nqueens + If !flag(BuildSamplePrograms) + Buildable: False + Main-is: nqueens.hs + HS-Source-Dirs: samples/programs/nqueens + Build-Depends: base, array, toysolver + Default-Language: Haskell2010 + +Executable knapsack + If !flag(BuildSamplePrograms) + Buildable: False + Main-is: knapsack.hs + HS-Source-Dirs: samples/programs/knapsack + Build-Depends: base, array, toysolver + Default-Language: Haskell2010 + +Executable htc + If !flag(BuildSamplePrograms) + Buildable: False + Main-is: htc.hs + HS-Source-Dirs: samples/programs/htc + Build-Depends: base, containers, toysolver + Default-Language: Haskell2010 + +-- Misc Programs + +Executable pigeonhole + If !flag(BuildMiscPrograms) + Buildable: False + Main-is: pigeonhole.hs + HS-Source-Dirs: pigeonhole + Build-Depends: base >=4 && <5, containers, filepath, toysolver + Default-Language: Haskell2010 + +Executable maxsatverify + If !flag(BuildMiscPrograms) + Buildable: False + Main-is: maxsatverify.hs + HS-Source-Dirs: maxsatverify + Build-Depends: base >=4 && <5, array, containers, filepath, toysolver + Default-Language: Haskell2010 + +Executable pbverify + Main-is: pbverify.hs + HS-Source-Dirs: pbverify + Build-Depends: base >=4 && <5, array, containers, filepath, toysolver + Default-Language: Haskell2010 + +-- Test suites and benchmarks + +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,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3 + Default-Language: Haskell2010 + Other-Extensions: TemplateHaskell + +Test-suite TestSimplex + Type: exitcode-stdio-1.0 + HS-Source-Dirs: test + Main-is: TestSimplex.hs + Build-depends: base >=4 && <5, containers, mtl, 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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3, data-interval, finite-field >=0.7.0 && <1.0.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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3, data-interval + Default-Language: Haskell2010 + Other-Extensions: TemplateHaskell, ScopedTypeVariables + +Test-suite TestArith + Type: exitcode-stdio-1.0 + HS-Source-Dirs: test + Main-is: TestArith.hs + Build-depends: base >=4 && <5, containers, vector-space >=0.8.6, toysolver, data-interval, OptDir, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3 + Default-Language: Haskell2010 + Other-Extensions: TemplateHaskell + +Test-suite TestCongruenceClosure + Type: exitcode-stdio-1.0 + HS-Source-Dirs: test + Main-is: TestCongruenceClosure.hs + Build-depends: base >=4 && <5, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3 + Default-Language: Haskell2010 + Other-Extensions: TemplateHaskell + +Test-suite TestSDPFile + Type: exitcode-stdio-1.0 + HS-Source-Dirs: test + Main-is: TestSDPFile.hs + Build-depends: base >=4 && <5, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <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, containers, toysolver, test-framework,test-framework-th,test-framework-hunit,test-framework-quickcheck2 >=0.2.12.3 && <0.4.0,HUnit,QuickCheck >=2.5 && <3 + Default-Language: Haskell2010 + Other-Extensions: TemplateHaskell, ScopedTypeVariables + +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 >=1.0 && <1.1 + Default-Language: Haskell2010
revision 2
Name: toysolver Version: 0.2.0 -x-revision: 1 +x-revision: 2 License: BSD3 License-File: COPYING Author: Masahiro Sakai (masahiro.sakai@gmail.com) parse-dimacs, queue, heaps, unbounded-delays, vector-space >=0.8.6, multiset, prettyclass >=1.0.0, type-level-numbers >=0.1.1.0 && <0.2.0.0, hashable >=1.1.2.5 && <1.3.0.0, intern >=0.9.1.2 && <1.0.0.0, loop >=0.2.0 && < 1.0.0, data-default-class, - OptDir, extended-reals >=0.1 && <1.0, data-interval >=1.0.1 && <1.3.0, finite-field >=0.7.0 && <1.0.0, sign >=0.2.0 && <1.0.0 + OptDir, extended-reals >=0.1 && <1.0, data-interval >=1.0.1 && <1.3.0, finite-field >=0.7.0 && <0.9, sign >=0.2.0 && <1.0.0 -- NOTE: temporary-1.2.0.2 does not work with exceptions-0.6 if flag(Exceptions06) Build-Depends: temporary >1.2.0.2, exceptions >=0.6