Cabal revisions of toysolver-0.0.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: toysolver-Version: 0.0.5-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 && <5,- 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, vector-space >=0.8.6, multiset, algebra,- prettyclass >=1.0.0,- OptDir, data-interval >=0.2.0, 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+Name: toysolver +Version: 0.0.5 +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 +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 && <5, + 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, 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
revision 2
Name: toysolver Version: 0.0.5 -x-revision: 1 +x-revision: 2 License: BSD3 License-File: COPYING Author: Masahiro Sakai (masahiro.sakai@gmail.com) 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, finite-field >=0.6.0 + OptDir, data-interval >=0.2.0 && <2, finite-field >=0.6.0 Default-Language: Haskell2010 Other-Extensions: BangPatterns
revision 3
Name: toysolver Version: 0.0.5 -x-revision: 2 +x-revision: 3 License: BSD3 License-File: COPYING Author: Masahiro Sakai (masahiro.sakai@gmail.com) 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 && <2, finite-field >=0.6.0 + OptDir, data-interval >=0.2.0 && <1, finite-field >=0.6.0 Default-Language: Haskell2010 Other-Extensions: BangPatterns
revision 4
Name: toysolver Version: 0.0.5 -x-revision: 3 +x-revision: 4 License: BSD3 License-File: COPYING Author: Masahiro Sakai (masahiro.sakai@gmail.com) Exposed: False Hs-source-dirs: src Build-Depends: - base >=4 && <5, + 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,