• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for toysolver-0.0.5 source tarball

toysolver-0.0.5/

• .travis.yml
• COPYING
• README.md
• Setup.lhs
• toysolver.cabal
• benchmarks/
  • BenchmarkSATLIB.hs
  • UF250.1065.100/
    • uf250-01.cnf
    • uf250-010.cnf
    • uf250-0100.cnf
    • uf250-011.cnf
    • uf250-012.cnf
    • uf250-013.cnf
    • uf250-014.cnf
    • uf250-015.cnf
    • uf250-016.cnf
    • uf250-017.cnf
    • uf250-018.cnf
    • uf250-019.cnf
    • uf250-02.cnf
    • uf250-020.cnf
    • uf250-021.cnf
    • uf250-022.cnf
    • uf250-023.cnf
    • uf250-024.cnf
    • uf250-025.cnf
    • uf250-026.cnf
    • uf250-027.cnf
    • uf250-028.cnf
    • uf250-029.cnf
    • uf250-03.cnf
    • uf250-030.cnf
    • uf250-031.cnf
    • uf250-032.cnf
    • uf250-033.cnf
    • uf250-034.cnf
    • uf250-035.cnf
    • uf250-036.cnf
    • uf250-037.cnf
    • uf250-038.cnf
    • uf250-039.cnf
    • uf250-04.cnf
    • uf250-040.cnf
    • uf250-041.cnf
    • uf250-042.cnf
    • uf250-043.cnf
    • uf250-044.cnf
    • uf250-045.cnf
    • uf250-046.cnf
    • uf250-047.cnf
    • uf250-048.cnf
    • uf250-049.cnf
    • uf250-05.cnf
    • uf250-050.cnf
    • uf250-051.cnf
    • uf250-052.cnf
    • uf250-053.cnf
    • uf250-054.cnf
    • uf250-055.cnf
    • uf250-056.cnf
    • uf250-057.cnf
    • uf250-058.cnf
    • uf250-059.cnf
    • uf250-06.cnf
    • uf250-060.cnf
    • uf250-061.cnf
    • uf250-062.cnf
    • uf250-063.cnf
    • uf250-064.cnf
    • uf250-065.cnf
    • uf250-066.cnf
    • uf250-067.cnf
    • uf250-068.cnf
    • uf250-069.cnf
    • uf250-07.cnf
    • uf250-070.cnf
    • uf250-071.cnf
    • uf250-072.cnf
    • uf250-073.cnf
    • uf250-074.cnf
    • uf250-075.cnf
    • uf250-076.cnf
    • uf250-077.cnf
    • uf250-078.cnf
    • uf250-079.cnf
    • uf250-08.cnf
    • uf250-080.cnf
    • uf250-081.cnf
    • uf250-082.cnf
    • uf250-083.cnf
    • uf250-084.cnf
    • uf250-085.cnf
    • uf250-086.cnf
    • uf250-087.cnf
    • uf250-088.cnf
    • uf250-089.cnf
    • uf250-09.cnf
    • uf250-090.cnf
    • uf250-091.cnf
    • uf250-092.cnf
    • uf250-093.cnf
    • uf250-094.cnf
    • uf250-095.cnf
    • uf250-096.cnf
    • uf250-097.cnf
    • uf250-098.cnf
    • uf250-099.cnf
  • UUF250.1065.100/
    • uuf250-01.cnf
    • uuf250-010.cnf
    • uuf250-0100.cnf
    • uuf250-011.cnf
    • uuf250-012.cnf
    • uuf250-013.cnf
    • uuf250-014.cnf
    • uuf250-015.cnf
    • uuf250-016.cnf
    • uuf250-017.cnf
    • uuf250-018.cnf
    • uuf250-019.cnf
    • uuf250-02.cnf
    • uuf250-020.cnf
    • uuf250-021.cnf
    • uuf250-022.cnf
    • uuf250-023.cnf
    • uuf250-024.cnf
    • uuf250-025.cnf
    • uuf250-026.cnf
    • uuf250-027.cnf
    • uuf250-028.cnf
    • uuf250-029.cnf
    • uuf250-03.cnf
    • uuf250-030.cnf
    • uuf250-031.cnf
    • uuf250-032.cnf
    • uuf250-033.cnf
    • uuf250-034.cnf
    • uuf250-035.cnf
    • uuf250-036.cnf
    • uuf250-037.cnf
    • uuf250-038.cnf
    • uuf250-039.cnf
    • uuf250-04.cnf
    • uuf250-040.cnf
    • uuf250-041.cnf
    • uuf250-042.cnf
    • uuf250-043.cnf
    • uuf250-044.cnf
    • uuf250-045.cnf
    • uuf250-046.cnf
    • uuf250-047.cnf
    • uuf250-048.cnf
    • uuf250-049.cnf
    • uuf250-05.cnf
    • uuf250-050.cnf
    • uuf250-051.cnf
    • uuf250-052.cnf
    • uuf250-053.cnf
    • uuf250-054.cnf
    • uuf250-055.cnf
    • uuf250-056.cnf
    • uuf250-057.cnf
    • uuf250-058.cnf
    • uuf250-059.cnf
    • uuf250-06.cnf
    • uuf250-060.cnf
    • uuf250-061.cnf
    • uuf250-062.cnf
    • uuf250-063.cnf
    • uuf250-064.cnf
    • uuf250-065.cnf
    • uuf250-066.cnf
    • uuf250-067.cnf
    • uuf250-068.cnf
    • uuf250-069.cnf
    • uuf250-07.cnf
    • uuf250-070.cnf
    • uuf250-071.cnf
    • uuf250-072.cnf
    • uuf250-073.cnf
    • uuf250-074.cnf
    • uuf250-075.cnf
    • uuf250-076.cnf
    • uuf250-077.cnf
    • uuf250-078.cnf
    • uuf250-079.cnf
    • uuf250-08.cnf
    • uuf250-080.cnf
    • uuf250-081.cnf
    • uuf250-082.cnf
    • uuf250-083.cnf
    • uuf250-084.cnf
    • uuf250-085.cnf
    • uuf250-086.cnf
    • uuf250-087.cnf
    • uuf250-088.cnf
    • uuf250-089.cnf
    • uuf250-09.cnf
    • uuf250-090.cnf
    • uuf250-091.cnf
    • uuf250-092.cnf
    • uuf250-093.cnf
    • uuf250-094.cnf
    • uuf250-095.cnf
    • uuf250-096.cnf
    • uuf250-097.cnf
    • uuf250-098.cnf
    • uuf250-099.cnf
• lpconvert/
  • lpconvert.hs
• pbconvert/
  • pbconvert.hs
• samples/
  • gcnf/
    • camus.cnf
    • example.gcnf
    • test250.gcnf
  • lp/
    • Sudoku.lp
    • branch-and-bound-loop.lp
    • conti.lp
    • empty_obj_1.lp
    • empty_obj_2.lp
    • factor137874311.lp
    • factor35.lp
    • factor672263.lp
    • glpk-preprocess-bug.lp
    • hoge.lp
    • ip-myth-1.lp
    • ip-myth-13-2.lp
    • ip-myth-22-9.lp
    • ip-myth-22-99.lp
    • ip-myth-22-999.lp
    • test-indicator.lp
    • test-qcp.lp
    • test-qcp2.lp
    • test-qp.lp
    • test.lp
    • unbounded-ip.lp
    • error/
      • const_in_obj.lp
      • inconsistent-bound-neg-inf.lp
      • inconsistent-bound-pos-inf.lp
  • maxsat/
    • MML10.wcnf
    • file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf
    • maxsat.cnf
    • partial-maxsat.wcnf
    • test.cnf
    • weighted-maxsat.wcnf
    • weighted-partial-maxsat.wcnf
  • pbo/
    • example-lin.opb
    • example-nlc-1.opb
    • example-nlc-2.opb
  • pbs/
    • pigeonhole_100_99.opb
    • pigeonhole_10_9.opb
    • pigeonhole_15_14.opb
    • pigeonhole_5_4.opb
  • qbf/
    • example1.qdimacs
  • sat/
    • empty-clause.cnf
    • empty.cnf
  • sdp/
    • example1.dat
    • example1.dat-s
    • example2.dat
  • smt/
    • QF_ABV.smt2
    • QF_AUFLIA.smt2
    • QF_BV.smt2
    • QF_LIA.smt2
    • QF_LRA.smt2
    • QF_LRA_2.smt2
    • QF_UF.smt2
  • wbo/
    • example1.wbo
    • example2.wbo
    • example3.wbo
• src/
  • SAT.hs
  • TseitinEncode.hs
  • Util.hs
  • Version.hs
  • pbverify.hs
  • pigeonhole.hs
  • Algebra/
    • Lattice/
      • Boolean.hs
  • Algorithm/
    • BoundsInference.hs
    • CAD.hs
    • CongruenceClosure.hs
    • ContiTraverso.hs
    • Cooper.hs
    • FOLModelFinder.hs
    • FourierMotzkin.hs
    • LPSolver.hs
    • LPSolverHL.hs
    • LPUtil.hs
    • MIPSolver2.hs
    • MIPSolverHL.hs
    • OmegaTest.hs
    • Simplex.hs
    • Simplex2.hs
    • Wang.hs
    • Cooper/
      • Core.hs
      • FOL.hs
    • FourierMotzkin/
      • Core.hs
      • FOL.hs
    • OmegaTest/
      • Misc.hs
  • Converter/
    • LP2SMT.hs
    • MaxSAT2LP.hs
    • MaxSAT2NLPB.hs
    • MaxSAT2WBO.hs
    • ObjType.hs
    • PB2LP.hs
    • PB2LSP.hs
    • PB2SMP.hs
    • PB2WBO.hs
    • PBSetObj.hs
    • SAT2LP.hs
    • SAT2PB.hs
    • WBO2PB.hs
  • Data/
    • ArithRel.hs
    • DNF.hs
    • Delta.hs
    • IndexedPriorityQueue.hs
    • LA.hs
    • LBool.hs
    • Polyhedron.hs
    • Polynomial.hs
    • SeqQueue.hs
    • Sign.hs
    • Var.hs
    • AlgebraicNumber/
      • Real.hs
      • Root.hs
    • FOL/
      • Arith.hs
      • Formula.hs
    • LA/
      • FOL.hs
    • Polynomial/
      • GBasis.hs
      • Factorization/
        • FiniteField.hs
        • Integer.hs
        • Rational.hs
        • SquareFree.hs
      • Interpolation/
        • Lagrange.hs
      • RootSeparation/
        • Graeffe.hs
        • Sturm.hs
  • SAT/
    • CAMUS.hs
    • Integer.hs
    • MUS.hs
    • PBO.hs
    • Printer.hs
    • TheorySolver.hs
    • TseitinEncoder.hs
    • Types.hs
    • PBO/
      • MSU4.hs
      • UnsatBased.hs
  • Text/
    • GCNF.hs
    • GurobiSol.hs
    • LPFile.hs
    • MPSFile.hs
    • MaxSAT.hs
    • PBFile.hs
    • SDPFile.hs
    • Util.hs
• test/
  • TestAReal.hs
  • TestAReal2.hs
  • TestContiTraverso.hs
  • TestLPFile.hs
  • TestMIPSolver2.hs
  • TestMPSFile.hs
  • TestPBFile.hs
  • TestPolynomial.hs
  • TestQE.hs
  • TestSAT.hs
  • TestSimplex2.hs
  • TestUtil.hs
• toyfmf/
  • toyfmf.hs
• toysat/
  • toysat.hs
• toysolver/
  • toysolver.hs