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

Directory listing for toysolver-0.8.0 source tarball

toysolver-0.8.0/

• CHANGELOG.markdown
• COPYING
• COPYING-GPL
• INSTALL.md
• README.md
• Setup.lhs
• toysolver.cabal
• Smtlib/
  • Smtlib/
    • Parsers/
      • CommandsParsers.hs
      • CommonParsers.hs
      • ResponseParsers.hs
    • Syntax/
      • ShowSL.hs
      • Syntax.hs
• app/
  • maxsatverify.hs
  • pbverify.hs
  • pigeonhole.hs
  • toyconvert.hs
  • toyfmf.hs
  • toyqbf.hs
  • toysolver.hs
  • toysat/
    • toysat.hs
  • toysat-ipasir/
    • IPASIR.hs
    • cbits.c
    • ipasir.def
    • ipasir.h
    • ipasir.map
  • toysmt/
    • toysmt.hs
    • ToySolver/
      • SMT/
        • SMTLIB2Solver.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
• misc/
  • build_bdist_linux.sh
  • build_bdist_macos.sh
  • build_bdist_maxsat_evaluation.sh
  • build_bdist_pb_evaluation.sh
  • build_bdist_qbf_evaluation.sh
  • build_bdist_smtcomp.sh
  • build_bdist_win32.sh
  • build_bdist_win64.sh
  • maxsat/
    • toysat/
      • README.md
      • toysat
    • toysat_ls/
      • README.md
      • toysat_ls
  • pb/
    • README.md
  • qbf/
    • README.md
  • smtcomp/
    • starexec_description.txt
    • bin/
      • starexec_run_default
• 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
    • infeasible.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-solution-cbc-infeasible.txt
    • test-solution-cbc-unbounded.txt
    • test-solution-cbc.txt
    • test-solution-cplex-unbounded.sol
    • test-solution-cplex.sol
    • test-solution-glpk-infeasible.sol
    • test-solution-glpk-long.sol
    • test-solution-glpk-unbounded.sol
    • test-solution-glpk.sol
    • test-solution-gurobi.sol
    • test-solution-scip.sol
    • 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
    • new-format.wcnf
    • 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-aries-da_network_20_2__17_12.opb
    • normalized-aries-da_network_50_2__8_45__128.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/
    • assign/
      • assign.hs
    • 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
    • numberlink/
      • README.md
      • numberlink.hs
      • ADC2013/
        • NL_Q04.txt
        • NL_R04.txt
      • ADC2014_QA/
        • A/
          • T99_A01.txt
          • T99_A02.txt
          • T99_A03.txt
          • T99_A04.txt
          • T99_A06.txt
          • T99_A07.txt
          • T99_A08.txt
          • T99_A09.txt
          • T99_A13.txt
          • T99_A14.txt
          • T99_A15.txt
        • Q/
          • NL_Q01.txt
          • NL_Q02.txt
          • NL_Q03.txt
          • NL_Q04.txt
          • NL_Q06.txt
          • NL_Q07.txt
          • NL_Q08.txt
          • NL_Q09.txt
          • NL_Q13.txt
          • NL_Q14.txt
          • NL_Q15.txt
      • ADC2016/
        • sample/
          • 01/
            • NL_Q01.txt
            • T99_A01.txt
    • probsat/
      • probsat.hs
    • shortest-path/
      • shortest-path.hs
    • sudoku/
      • sample1.sdk
      • sample2.sdk
      • sudoku.hs
    • survey-propagation/
      • survey-propagation.hs
    • svm2lp/
      • a1a
      • svm2lp.hs
  • qbf/
    • aim-50-1_6-yes1-3-00-shuffled.qdimacs
    • example1.qdimacs
    • ii8a1-90-shuffled.qdimacs
    • toilet_a_02_10.2-shuffled.qdimacs
    • toilet_c_06_01.5-shuffled.qdimacs
    • z4ml.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs
  • sat/
    • Hidoku_enu_6.cnf
    • complete-300-0.1-18-98765432130018.cnf
    • empty-clause.cnf
    • empty.cnf
    • frb45-21-1.used-as.sat04-883.cnf
    • unif-k3-r4.267-v5000-c21335-S5173013380491600450.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
    • swap.smt2
    • unicode-symbol.smt2
    • unsat-core.smt2
    • yices-floating-point.ys
  • wbo/
    • example1.wbo
    • example2.wbo
    • example3.wbo
    • normalized-satellite01ac_wcsp.wbo
• src/
  • ToySolver/
    • BitVector.hs
    • Converter.hs
    • FileFormat.hs
    • QBF.hs
    • QUBO.hs
    • SAT.hs
    • SDP.hs
    • SMT.hs
    • Version.hs
    • Wang.hs
    • Arith/
      • BoundsInference.hs
      • CAD.hs
      • ContiTraverso.hs
      • Cooper.hs
      • DifferenceLogic.hs
      • FourierMotzkin.hs
      • LPUtil.hs
      • MIP.hs
      • OmegaTest.hs
      • Simplex.hs
      • VirtualSubstitution.hs
      • Cooper/
        • Base.hs
        • FOL.hs
      • FourierMotzkin/
        • Base.hs
        • FOL.hs
        • Optimization.hs
      • OmegaTest/
        • Base.hs
      • Simplex/
        • Simple.hs
        • Textbook.hs
        • Textbook/
          • LPSolver.hs
          • LPSolver/
            • Simple.hs
          • MIPSolver/
            • Simple.hs
    • BitVector/
      • Base.hs
      • Solver.hs
    • Combinatorial/
      • BipartiteMatching.hs
      • SubsetSum.hs
      • HittingSet/
        • DAA.hs
        • FredmanKhachiyan1996.hs
        • GurvichKhachiyan1999.hs
        • HTCBDD.hs
        • InterestingSets.hs
        • MARCO.hs
        • SHD.hs
        • Simple.hs
        • Util.hs
      • Knapsack/
        • BB.hs
        • DPDense.hs
        • DPSparse.hs
    • Converter/
      • Base.hs
      • GCNF2MaxSAT.hs
      • MIP2PB.hs
      • MIP2SMT.hs
      • NAESAT.hs
      • ObjType.hs
      • PB.hs
      • PB2IP.hs
      • PB2LSP.hs
      • PB2SMP.hs
      • PBSetObj.hs
      • QBF2IPC.hs
      • QUBO.hs
      • SAT2KSAT.hs
      • SAT2MIS.hs
      • SAT2MaxCut.hs
      • SAT2MaxSAT.hs
      • Tseitin.hs
      • PB/
        • Internal/
          • LargestIntersectionFinder.hs
          • Product.hs
    • Data/
      • BoolExpr.hs
      • Boolean.hs
      • DNF.hs
      • Delta.hs
      • IntVar.hs
      • LA.hs
      • LBool.hs
      • OrdRel.hs
      • Polyhedron.hs
      • Polynomial.hs
      • AlgebraicNumber/
        • Complex.hs
        • Graeffe.hs
        • Real.hs
        • Root.hs
        • Sturm.hs
      • FOL/
        • Arith.hs
        • Formula.hs
      • LA/
        • FOL.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/
          • Hermite.hs
          • Lagrange.hs
    • EUF/
      • CongruenceClosure.hs
      • EUFSolver.hs
      • FiniteModelFinder.hs
    • FileFormat/
      • Base.hs
      • CNF.hs
    • Graph/
      • Base.hs
      • MaxCut.hs
      • ShortestPath.hs
    • Internal/
      • ProcessUtil.hs
      • TextUtil.hs
      • Util.hs
      • Data/
        • IOURef.hs
        • IndexedPriorityQueue.hs
        • PriorityQueue.hs
        • SeqQueue.hs
        • Vec.hs
    • SAT/
      • ExistentialQuantification.hs
      • Formula.hs
      • MUS.hs
      • PBO.hs
      • Printer.hs
      • TheorySolver.hs
      • Types.hs
      • Encoder/
        • Cardinality.hs
        • Integer.hs
        • PB.hs
        • PBNLC.hs
        • Tseitin.hs
        • Cardinality/
          • Internal/
            • Naive.hs
            • ParallelCounter.hs
            • Totalizer.hs
        • PB/
          • Internal/
            • Adder.hs
            • BDD.hs
            • Sorter.hs
      • MUS/
        • Base.hs
        • Deletion.hs
        • Enum.hs
        • Insertion.hs
        • QuickXplain.hs
        • Types.hs
        • Enum/
          • Base.hs
          • CAMUS.hs
      • PBO/
        • BC.hs
        • BCD.hs
        • BCD2.hs
        • Context.hs
        • MSU4.hs
        • UnsatBased.hs
      • Solver/
        • CDCL.hs
        • CDCL/
          • Config.hs
        • MessagePassing/
          • SurveyPropagation.hs
          • SurveyPropagation/
            • OpenCL.hs
            • sp.cl
        • SLS/
          • ProbSAT.hs
          • UBCSAT.hs
      • Store/
        • CNF.hs
        • PB.hs
    • Text/
      • SDPFile.hs
    • Version/
      • TH.hs
• test/
  • TestPolynomial.hs
  • TestSuite.hs
  • Test/
    • AReal.hs
    • AReal2.hs
    • Arith.hs
    • BipartiteMatching.hs
    • BitVector.hs
    • BoolExpr.hs
    • CNF.hs
    • CongruenceClosure.hs
    • ContiTraverso.hs
    • Converter.hs
    • Delta.hs
    • FiniteModelFinder.hs
    • GraphShortestPath.hs
    • HittingSets.hs
    • Knapsack.hs
    • MIPSolver.hs
    • Misc.hs
    • ProbSAT.hs
    • QBF.hs
    • QUBO.hs
    • SAT.hs
    • SDPFile.hs
    • SMT.hs
    • SMTLIB2Solver.hs
    • Simplex.hs
    • SimplexTextbook.hs
    • Smtlib.hs
    • SubsetSum.hs
    • SAT/
      • Encoder.hs
      • ExistentialQuantification.hs
      • MUS.hs
      • TheorySolver.hs
      • Types.hs
      • Utils.hs