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

Directory listing for toysolver-0.4.0 source tarball

toysolver-0.4.0/

• .ghci
• .travis.yml
• CHANGELOG.markdown
• COPYING
• COPYING-GPL
• README.md
• Setup.lhs
• appveyor.yml
• build_bdist_linux.sh
• build_bdist_macos.sh
• build_bdist_maxsat_evaluation.sh
• build_bdist_pb_evaluation.sh
• build_bdist_win32.sh
• build_bdist_win64.sh
• toysolver.cabal
• Smtlib/
  • Smtlib/
    • Parsers/
      • CommandsParsers.hs
      • CommonParsers.hs
      • ResponseParsers.hs
    • Syntax/
      • ShowSL.hs
      • Syntax.hs
• benchmarks/
  • BenchmarkKnapsack.hs
  • BenchmarkSATLIB.hs
  • BenchmarkSubsetSum.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
• maxsatverify/
  • maxsatverify.hs
• misc/
  • maxsat/
    • toysat/
      • README.md
      • toysat
    • toysat_ls/
      • README.md
      • toysat_ls
  • pb/
    • README.md
• pbconvert/
  • pbconvert.hs
• pbverify/
  • pbverify.hs
• pigeonhole/
  • pigeonhole.hs
• samples/
  • gcnf/
    • camus.cnf
    • edn_20403_8.cnf_0.03000000.unsat.gcnf
    • example.gcnf
    • test250.gcnf
  • lp/
    • Sudoku.lp
    • baroque-tower.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
    • 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-semiint.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
    • ram_k3_n10.ra1.wcnf
    • t3pm3-5555.spn.cnf
    • ubcsat-sample.cnf
    • ubcsat-sample.wcnf
    • weighted-maxsat.wcnf
    • weighted-partial-maxsat.wcnf
  • mps/
    • enlight13.mps
    • example2.mps
    • ind1.mps
    • intvar1.mps
    • intvar2.mps
    • quadobj1.mps
    • quadobj2.mps
    • ranges.mps
    • sc.mps
    • sos.mps
    • test-qcp.mps
    • test-semiint-gurobi.mps
    • test-semiint-lpsolve.mps
  • pbo/
    • example-lin.opb
    • example-nlc-1.opb
    • example-nlc-2.opb
    • normalized-mds_50_10_4.opb
    • normalized-opt-market-split_4_30_2.opb
  • pbs/
    • normalized-1096.cudf.paranoid.opb
    • normalized-j3025_1-sat.opb
    • pigeonhole_100_99.opb
    • pigeonhole_10_9.opb
    • pigeonhole_150_149.opb
    • pigeonhole_15_14.opb
    • pigeonhole_5_4.opb
  • programs/
    • htc/
      • htc.hs
      • test1.dat
      • test2.dat
    • knapsack/
      • README.md
      • knapsack.hs
      • p01.txt
      • p02.txt
      • p03.txt
      • p04.txt
      • p05.txt
      • p06.txt
      • p07.txt
      • p08.txt
    • nonogram/
      • README.md
      • nonogram.hs
      • sample.cwd
    • nqueens/
      • nqueens.hs
    • sudoku/
      • sample1.sdk
      • sample2.sdk
      • sudoku.hs
    • svm2lp/
      • a1a
      • svm2lp.hs
  • 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
    • QF_UFLRA.smt2
    • assertion-stack-levels-2.smt2
    • assertion-stack-levels.smt2
    • assumptions.smt2
    • chain.smt2
    • declare-const.smt2
    • define-fun-rec.smt2
    • define-funs-rec.smt2
    • division-by-zero.smt2
    • echo.smt2
    • get-assertions.smt2
    • get-assignment.smt2
    • get-model.smt2
    • get-value.smt2
    • global-declarations.smt2
    • print-success.smt2
    • quoted-symbol.smt2
    • reset-assertions.smt2
    • reset.smt2
    • set-info-status.smt2
    • unicode-symbol.smt2
    • unsat-core.smt2
    • yices-floating-point.ys
  • wbo/
    • example1.wbo
    • example2.wbo
    • example3.wbo
    • normalized-satellite01ac_wcsp.wbo
• src/
  • TseitinEncode.hs
  • ToySolver/
    • SAT.hs
    • SMT.hs
    • Version.hs
    • Wang.hs
    • Arith/
      • BoundsInference.hs
      • CAD.hs
      • ContiTraverso.hs
      • Cooper.hs
      • FourierMotzkin.hs
      • LPSolver.hs
      • LPSolverHL.hs
      • LPUtil.hs
      • MIPSolver2.hs
      • MIPSolverHL.hs
      • OmegaTest.hs
      • Simplex.hs
      • Simplex2.hs
      • VirtualSubstitution.hs
      • Cooper/
        • Base.hs
        • FOL.hs
      • FourierMotzkin/
        • Base.hs
        • FOL.hs
        • Optimization.hs
      • OmegaTest/
        • Base.hs
    • Combinatorial/
      • SubsetSum.hs
      • HittingSet/
        • FredmanKhachiyan1996.hs
        • GurvichKhachiyan1999.hs
        • HTCBDD.hs
        • SHD.hs
        • Simple.hs
      • Knapsack/
        • BB.hs
        • DPDense.hs
        • DPSparse.hs
    • Converter/
      • MIP2SMT.hs
      • MaxSAT2IP.hs
      • MaxSAT2NLPB.hs
      • MaxSAT2WBO.hs
      • ObjType.hs
      • PB2IP.hs
      • PB2LSP.hs
      • PB2SMP.hs
      • PB2WBO.hs
      • PBSetObj.hs
      • SAT2IP.hs
      • SAT2PB.hs
      • WBO2PB.hs
    • Data/
      • BoolExpr.hs
      • Boolean.hs
      • DNF.hs
      • Delta.hs
      • LA.hs
      • LBool.hs
      • MIP.hs
      • OrdRel.hs
      • Polyhedron.hs
      • Polynomial.hs
      • Var.hs
      • AlgebraicNumber/
        • Complex.hs
        • Graeffe.hs
        • Real.hs
        • Root.hs
        • Sturm.hs
      • FOL/
        • Arith.hs
        • Formula.hs
      • LA/
        • FOL.hs
      • MIP/
        • Base.hs
        • LPFile.hs
        • MPSFile.hs
      • Polynomial/
        • Base.hs
        • GroebnerBasis.hs
        • Factorization/
          • FiniteField.hs
          • Hensel.hs
          • Integer.hs
          • Kronecker.hs
          • Rational.hs
          • SquareFree.hs
          • Zassenhaus.hs
          • Hensel/
            • Internal.hs
        • Interpolation/
          • Lagrange.hs
    • EUF/
      • CongruenceClosure.hs
      • EUFSolver.hs
      • FiniteModelFinder.hs
    • Internal/
      • ProcessUtil.hs
      • TextUtil.hs
      • Util.hs
      • Data/
        • IOURef.hs
        • IndexedPriorityQueue.hs
        • PriorityQueue.hs
        • SeqQueue.hs
        • Vec.hs
    • SAT/
      • Integer.hs
      • MUS.hs
      • PBNLC.hs
      • PBO.hs
      • Printer.hs
      • TheorySolver.hs
      • TseitinEncoder.hs
      • Types.hs
      • MUS/
        • CAMUS.hs
        • DAA.hs
        • QuickXplain.hs
        • Types.hs
      • PBO/
        • BC.hs
        • BCD.hs
        • BCD2.hs
        • Context.hs
        • MSU4.hs
        • UnsatBased.hs
    • Text/
      • GCNF.hs
      • GurobiSol.hs
      • MaxSAT.hs
      • SDPFile.hs
    • Version/
      • TH.hs
• test/
  • TestPolynomial.hs
  • TestSuite.hs
  • Test/
    • AReal.hs
    • AReal2.hs
    • Arith.hs
    • BoolExpr.hs
    • CongruenceClosure.hs
    • ContiTraverso.hs
    • Delta.hs
    • FiniteModelFinder.hs
    • HittingSets.hs
    • Knapsack.hs
    • LPFile.hs
    • MIPSolver2.hs
    • MPSFile.hs
    • Misc.hs
    • SAT.hs
    • SDPFile.hs
    • SMT.hs
    • SMTLIB2Solver.hs
    • Simplex.hs
    • Simplex2.hs
    • SubsetSum.hs
• toyfmf/
  • toyfmf.hs
• toysat/
  • UBCSAT.hs
  • toysat.hs
• toysmt/
  • toysmt.hs
  • ToySolver/
    • SMT/
      • SMTLIB2Solver.hs
• toysolver/
  • toysolver.hs