├── .github └── workflows │ └── build.yaml ├── .gitignore ├── .gitmodules ├── CHANGELOG.markdown ├── COPYING ├── COPYING-GPL ├── INSTALL.md ├── README.md ├── Setup.lhs ├── app ├── pigeonhole.hs ├── toyconvert.hs ├── toyfmf.hs ├── toyqbf.hs ├── toysat-ipasir │ ├── IPASIR.hs │ ├── cbits.c │ ├── ipasir.def │ ├── ipasir.h │ └── ipasir.map ├── toysat │ └── toysat.hs ├── toysmt │ ├── ToySolver │ │ └── SMT │ │ │ └── SMTLIB2Solver.hs │ └── toysmt.hs ├── toysolver.hs └── toysolver_check.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 ├── doc └── dev │ └── release.md ├── docker ├── Dockerfile ├── README.md └── working-dir.Dockerfile ├── misc ├── build_bdist_maxsat_evaluation.sh ├── build_bdist_pb_evaluation.sh ├── build_bdist_qbf_evaluation.sh ├── build_bdist_smtcomp.sh ├── collect-language-pragmas.rb ├── collect-min-version-macro.rb ├── generate_packageVersions.hs ├── genipaessentials │ ├── README │ ├── genipaessentials.cpp │ └── inputs │ │ ├── sat100.cnf │ │ ├── sat250.cnf │ │ └── unsat250.cnf ├── maxsat │ ├── toysat │ │ ├── README.md │ │ └── toysat │ └── toysat_ls │ │ ├── README.md │ │ └── toysat_ls ├── pb │ └── README.md ├── qbf │ └── README.md ├── remove-trailing-space.rb └── smtcomp │ ├── bin │ └── starexec_run_default │ └── starexec_description.txt ├── samples ├── gcnf │ ├── camus.cnf │ ├── edn_20403_8.cnf_0.03000000.unsat.gcnf │ ├── example.gcnf │ └── test250.gcnf ├── lp │ ├── Sudoku.dat │ ├── Sudoku.lp │ ├── Sudoku.mod │ ├── baroque-tower.lp │ ├── branch-and-bound-loop.lp │ ├── conti.lp │ ├── empty_obj_1.lp │ ├── empty_obj_2.lp │ ├── error │ │ ├── const_in_obj.lp │ │ ├── inconsistent-bound-neg-inf.lp │ │ └── inconsistent-bound-pos-inf.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 ├── 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 │ │ ├── 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 │ │ ├── README.md │ │ └── numberlink.hs │ ├── probsat │ │ └── probsat.hs │ ├── shortest-path │ │ ├── README.md │ │ └── 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 ├── tptp │ ├── animal.tptp │ ├── drink.tptp │ ├── sudoku.tptp │ └── test.tptp └── wbo │ ├── example1.wbo │ ├── example2.wbo │ ├── example3.wbo │ └── normalized-satellite01ac_wcsp.wbo ├── src └── ToySolver │ ├── Arith │ ├── BoundsInference.hs │ ├── CAD.hs │ ├── ContiTraverso.hs │ ├── Cooper.hs │ ├── Cooper │ │ ├── Base.hs │ │ └── FOL.hs │ ├── DifferenceLogic.hs │ ├── FourierMotzkin.hs │ ├── FourierMotzkin │ │ ├── Base.hs │ │ ├── FOL.hs │ │ └── Optimization.hs │ ├── LPUtil.hs │ ├── MIP.hs │ ├── OmegaTest.hs │ ├── OmegaTest │ │ └── Base.hs │ ├── Simplex.hs │ ├── Simplex │ │ ├── Simple.hs │ │ ├── Textbook.hs │ │ └── Textbook │ │ │ ├── LPSolver.hs │ │ │ ├── LPSolver │ │ │ └── Simple.hs │ │ │ └── MIPSolver │ │ │ └── Simple.hs │ └── VirtualSubstitution.hs │ ├── BitVector.hs │ ├── BitVector │ ├── Base.hs │ └── Solver.hs │ ├── Combinatorial │ ├── BipartiteMatching.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 │ └── SubsetSum.hs │ ├── Converter.hs │ ├── Converter │ ├── Base.hs │ ├── GCNF2MaxSAT.hs │ ├── MIP.hs │ ├── MIP2SMT.hs │ ├── NAESAT.hs │ ├── PB.hs │ ├── PB │ │ └── Internal │ │ │ ├── LargestIntersectionFinder.hs │ │ │ └── Product.hs │ ├── QBF2IPC.hs │ ├── QUBO.hs │ ├── SAT2KSAT.hs │ ├── SAT2MIS.hs │ ├── SAT2MaxCut.hs │ ├── SAT2MaxSAT.hs │ └── Tseitin.hs │ ├── Data │ ├── AlgebraicNumber │ │ ├── Complex.hs │ │ ├── Graeffe.hs │ │ ├── Real.hs │ │ ├── Root.hs │ │ └── Sturm.hs │ ├── BoolExpr.hs │ ├── BoolRing.hs │ ├── Boolean.hs │ ├── DNF.hs │ ├── Delta.hs │ ├── FOL │ │ ├── Arith.hs │ │ └── Formula.hs │ ├── IntVar.hs │ ├── LA.hs │ ├── LA │ │ └── FOL.hs │ ├── LBool.hs │ ├── OrdRel.hs │ ├── Polyhedron.hs │ ├── Polynomial.hs │ └── Polynomial │ │ ├── Base.hs │ │ ├── Factorization │ │ ├── FiniteField.hs │ │ ├── Hensel.hs │ │ ├── Hensel │ │ │ └── Internal.hs │ │ ├── Integer.hs │ │ ├── Kronecker.hs │ │ ├── Rational.hs │ │ ├── SquareFree.hs │ │ └── Zassenhaus.hs │ │ ├── GroebnerBasis.hs │ │ └── Interpolation │ │ ├── Hermite.hs │ │ └── Lagrange.hs │ ├── EUF │ ├── CongruenceClosure.hs │ ├── EUFSolver.hs │ └── FiniteModelFinder.hs │ ├── FileFormat.hs │ ├── FileFormat │ ├── Base.hs │ └── CNF.hs │ ├── Graph │ ├── Base.hs │ ├── MaxCut.hs │ └── ShortestPath.hs │ ├── Internal │ ├── Data │ │ ├── IOURef.hs │ │ ├── IndexedPriorityQueue.hs │ │ ├── PriorityQueue.hs │ │ ├── SeqQueue.hs │ │ └── Vec.hs │ ├── JSON.hs │ ├── ProcessUtil.hs │ ├── SolutionChecker.hs │ ├── TextUtil.hs │ └── Util.hs │ ├── QBF.hs │ ├── QUBO.hs │ ├── SAT.hs │ ├── SAT │ ├── Encoder │ │ ├── Cardinality.hs │ │ ├── Cardinality │ │ │ └── Internal │ │ │ │ ├── Naive.hs │ │ │ │ ├── ParallelCounter.hs │ │ │ │ └── Totalizer.hs │ │ ├── Integer.hs │ │ ├── PB.hs │ │ ├── PB │ │ │ └── Internal │ │ │ │ ├── Adder.hs │ │ │ │ ├── BCCNF.hs │ │ │ │ ├── BDD.hs │ │ │ │ └── Sorter.hs │ │ ├── PBNLC.hs │ │ └── Tseitin.hs │ ├── ExistentialQuantification.hs │ ├── Formula.hs │ ├── Internal │ │ └── JSON.hs │ ├── LogParser.hs │ ├── MUS.hs │ ├── MUS │ │ ├── Base.hs │ │ ├── Deletion.hs │ │ ├── Enum.hs │ │ ├── Enum │ │ │ ├── Base.hs │ │ │ └── CAMUS.hs │ │ ├── Insertion.hs │ │ ├── QuickXplain.hs │ │ └── Types.hs │ ├── PBO.hs │ ├── PBO │ │ ├── BC.hs │ │ ├── BCD.hs │ │ ├── BCD2.hs │ │ ├── Context.hs │ │ ├── MSU4.hs │ │ └── UnsatBased.hs │ ├── Printer.hs │ ├── Solver │ │ ├── CDCL.hs │ │ ├── CDCL │ │ │ └── Config.hs │ │ ├── MessagePassing │ │ │ └── SurveyPropagation.hs │ │ └── SLS │ │ │ ├── ProbSAT.hs │ │ │ └── UBCSAT.hs │ ├── Store │ │ ├── CNF.hs │ │ └── PB.hs │ ├── TheorySolver.hs │ └── Types.hs │ ├── SDP.hs │ ├── SMT.hs │ ├── Text │ └── SDPFile.hs │ ├── Version.hs │ ├── Version │ └── TH.hs │ └── Wang.hs ├── stack-ghc-9.10.yaml ├── stack-ghc-9.2.yaml ├── stack-ghc-9.4.yaml ├── stack-ghc-9.6.yaml ├── stack-ghc-9.8.yaml ├── stack.yaml ├── test ├── 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 │ ├── Graph.hs │ ├── GraphShortestPath.hs │ ├── HittingSets.hs │ ├── Knapsack.hs │ ├── MIPSolver.hs │ ├── Misc.hs │ ├── ProbSAT.hs │ ├── QBF.hs │ ├── QUBO.hs │ ├── SAT.hs │ ├── SAT │ │ ├── Encoder.hs │ │ ├── ExistentialQuantification.hs │ │ ├── LogParser.hs │ │ ├── MUS.hs │ │ ├── TheorySolver.hs │ │ ├── Types.hs │ │ └── Utils.hs │ ├── SDPFile.hs │ ├── SMT.hs │ ├── SMTLIB2Solver.hs │ ├── Simplex.hs │ ├── SimplexTextbook.hs │ ├── Smtlib.hs │ ├── SolutionChecker.hs │ └── SubsetSum.hs ├── TestPolynomial.hs └── TestSuite.hs └── toysolver.cabal /.github/workflows/build.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/.github/workflows/build.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/.gitmodules -------------------------------------------------------------------------------- /CHANGELOG.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/CHANGELOG.markdown -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/COPYING -------------------------------------------------------------------------------- /COPYING-GPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/COPYING-GPL -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/INSTALL.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/README.md -------------------------------------------------------------------------------- /Setup.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/Setup.lhs -------------------------------------------------------------------------------- /app/pigeonhole.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/pigeonhole.hs -------------------------------------------------------------------------------- /app/toyconvert.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toyconvert.hs -------------------------------------------------------------------------------- /app/toyfmf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toyfmf.hs -------------------------------------------------------------------------------- /app/toyqbf.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toyqbf.hs -------------------------------------------------------------------------------- /app/toysat-ipasir/IPASIR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat-ipasir/IPASIR.hs -------------------------------------------------------------------------------- /app/toysat-ipasir/cbits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat-ipasir/cbits.c -------------------------------------------------------------------------------- /app/toysat-ipasir/ipasir.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat-ipasir/ipasir.def -------------------------------------------------------------------------------- /app/toysat-ipasir/ipasir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat-ipasir/ipasir.h -------------------------------------------------------------------------------- /app/toysat-ipasir/ipasir.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat-ipasir/ipasir.map -------------------------------------------------------------------------------- /app/toysat/toysat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysat/toysat.hs -------------------------------------------------------------------------------- /app/toysmt/ToySolver/SMT/SMTLIB2Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysmt/ToySolver/SMT/SMTLIB2Solver.hs -------------------------------------------------------------------------------- /app/toysmt/toysmt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysmt/toysmt.hs -------------------------------------------------------------------------------- /app/toysolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysolver.hs -------------------------------------------------------------------------------- /app/toysolver_check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/app/toysolver_check.hs -------------------------------------------------------------------------------- /benchmarks/BenchmarkKnapsack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/BenchmarkKnapsack.hs -------------------------------------------------------------------------------- /benchmarks/BenchmarkSATLIB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/BenchmarkSATLIB.hs -------------------------------------------------------------------------------- /benchmarks/BenchmarkSubsetSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/BenchmarkSubsetSum.hs -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-01.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-01.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-010.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-010.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-0100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-0100.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-011.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-011.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-012.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-012.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-013.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-013.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-014.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-014.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-015.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-015.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-016.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-016.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-017.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-017.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-018.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-018.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-019.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-019.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-02.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-02.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-020.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-020.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-021.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-021.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-022.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-022.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-023.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-023.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-024.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-024.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-025.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-025.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-026.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-026.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-027.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-027.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-028.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-028.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-029.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-029.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-03.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-03.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-030.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-030.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-031.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-031.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-032.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-032.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-033.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-033.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-034.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-034.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-035.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-035.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-036.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-036.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-037.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-037.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-038.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-038.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-039.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-039.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-04.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-04.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-040.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-040.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-041.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-041.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-042.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-042.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-043.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-043.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-044.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-044.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-045.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-045.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-046.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-046.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-047.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-047.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-048.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-048.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-049.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-049.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-05.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-05.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-050.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-051.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-051.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-052.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-052.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-053.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-053.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-054.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-054.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-055.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-055.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-056.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-056.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-057.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-057.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-058.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-058.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-059.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-059.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-06.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-06.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-060.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-060.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-061.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-061.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-062.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-062.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-063.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-063.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-064.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-064.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-065.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-065.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-066.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-066.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-067.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-067.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-068.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-068.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-069.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-069.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-07.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-07.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-070.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-070.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-071.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-071.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-072.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-072.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-073.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-073.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-074.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-074.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-075.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-075.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-076.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-076.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-077.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-077.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-078.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-078.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-079.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-079.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-08.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-08.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-080.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-080.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-081.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-081.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-082.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-082.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-083.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-083.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-084.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-084.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-085.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-085.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-086.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-086.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-087.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-087.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-088.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-088.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-089.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-089.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-09.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-09.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-090.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-090.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-091.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-091.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-092.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-092.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-093.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-093.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-094.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-094.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-095.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-095.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-096.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-096.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-097.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-097.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-098.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-098.cnf -------------------------------------------------------------------------------- /benchmarks/UF250.1065.100/uf250-099.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UF250.1065.100/uf250-099.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-01.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-01.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-010.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-010.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-0100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-0100.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-011.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-011.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-012.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-012.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-013.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-013.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-014.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-014.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-015.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-015.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-016.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-016.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-017.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-017.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-018.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-018.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-019.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-019.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-02.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-02.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-020.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-020.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-021.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-021.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-022.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-022.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-023.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-023.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-024.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-024.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-025.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-025.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-026.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-026.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-027.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-027.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-028.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-028.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-029.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-029.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-03.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-03.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-030.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-030.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-031.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-031.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-032.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-032.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-033.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-033.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-034.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-034.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-035.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-035.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-036.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-036.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-037.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-037.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-038.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-038.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-039.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-039.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-04.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-04.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-040.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-040.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-041.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-041.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-042.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-042.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-043.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-043.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-044.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-044.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-045.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-045.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-046.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-046.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-047.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-047.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-048.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-048.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-049.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-049.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-05.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-05.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-050.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-051.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-051.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-052.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-052.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-053.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-053.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-054.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-054.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-055.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-055.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-056.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-056.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-057.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-057.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-058.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-058.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-059.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-059.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-06.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-06.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-060.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-060.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-061.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-061.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-062.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-062.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-063.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-063.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-064.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-064.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-065.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-065.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-066.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-066.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-067.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-067.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-068.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-068.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-069.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-069.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-07.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-07.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-070.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-070.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-071.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-071.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-072.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-072.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-073.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-073.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-074.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-074.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-075.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-075.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-076.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-076.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-077.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-077.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-078.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-078.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-079.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-079.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-08.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-08.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-080.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-080.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-081.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-081.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-082.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-082.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-083.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-083.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-084.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-084.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-085.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-085.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-086.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-086.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-087.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-087.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-088.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-088.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-089.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-089.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-09.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-09.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-090.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-090.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-091.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-091.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-092.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-092.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-093.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-093.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-094.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-094.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-095.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-095.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-096.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-096.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-097.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-097.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-098.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-098.cnf -------------------------------------------------------------------------------- /benchmarks/UUF250.1065.100/uuf250-099.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/benchmarks/UUF250.1065.100/uuf250-099.cnf -------------------------------------------------------------------------------- /doc/dev/release.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/doc/dev/release.md -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/docker/README.md -------------------------------------------------------------------------------- /docker/working-dir.Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/docker/working-dir.Dockerfile -------------------------------------------------------------------------------- /misc/build_bdist_maxsat_evaluation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/build_bdist_maxsat_evaluation.sh -------------------------------------------------------------------------------- /misc/build_bdist_pb_evaluation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/build_bdist_pb_evaluation.sh -------------------------------------------------------------------------------- /misc/build_bdist_qbf_evaluation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/build_bdist_qbf_evaluation.sh -------------------------------------------------------------------------------- /misc/build_bdist_smtcomp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/build_bdist_smtcomp.sh -------------------------------------------------------------------------------- /misc/collect-language-pragmas.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/collect-language-pragmas.rb -------------------------------------------------------------------------------- /misc/collect-min-version-macro.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/collect-min-version-macro.rb -------------------------------------------------------------------------------- /misc/generate_packageVersions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/generate_packageVersions.hs -------------------------------------------------------------------------------- /misc/genipaessentials/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/genipaessentials/README -------------------------------------------------------------------------------- /misc/genipaessentials/genipaessentials.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/genipaessentials/genipaessentials.cpp -------------------------------------------------------------------------------- /misc/genipaessentials/inputs/sat100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/genipaessentials/inputs/sat100.cnf -------------------------------------------------------------------------------- /misc/genipaessentials/inputs/sat250.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/genipaessentials/inputs/sat250.cnf -------------------------------------------------------------------------------- /misc/genipaessentials/inputs/unsat250.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/genipaessentials/inputs/unsat250.cnf -------------------------------------------------------------------------------- /misc/maxsat/toysat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/maxsat/toysat/README.md -------------------------------------------------------------------------------- /misc/maxsat/toysat/toysat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/maxsat/toysat/toysat -------------------------------------------------------------------------------- /misc/maxsat/toysat_ls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/maxsat/toysat_ls/README.md -------------------------------------------------------------------------------- /misc/maxsat/toysat_ls/toysat_ls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/maxsat/toysat_ls/toysat_ls -------------------------------------------------------------------------------- /misc/pb/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/pb/README.md -------------------------------------------------------------------------------- /misc/qbf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/qbf/README.md -------------------------------------------------------------------------------- /misc/remove-trailing-space.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/misc/remove-trailing-space.rb -------------------------------------------------------------------------------- /misc/smtcomp/bin/starexec_run_default: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | ./toysmt "$1" 3 | -------------------------------------------------------------------------------- /misc/smtcomp/starexec_description.txt: -------------------------------------------------------------------------------- 1 | A toylevel SMT solver for QFUFLRA and its sublogics 2 | -------------------------------------------------------------------------------- /samples/gcnf/camus.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/gcnf/camus.cnf -------------------------------------------------------------------------------- /samples/gcnf/edn_20403_8.cnf_0.03000000.unsat.gcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/gcnf/edn_20403_8.cnf_0.03000000.unsat.gcnf -------------------------------------------------------------------------------- /samples/gcnf/example.gcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/gcnf/example.gcnf -------------------------------------------------------------------------------- /samples/gcnf/test250.gcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/gcnf/test250.gcnf -------------------------------------------------------------------------------- /samples/lp/Sudoku.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/Sudoku.dat -------------------------------------------------------------------------------- /samples/lp/Sudoku.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/Sudoku.lp -------------------------------------------------------------------------------- /samples/lp/Sudoku.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/Sudoku.mod -------------------------------------------------------------------------------- /samples/lp/baroque-tower.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/baroque-tower.lp -------------------------------------------------------------------------------- /samples/lp/branch-and-bound-loop.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/branch-and-bound-loop.lp -------------------------------------------------------------------------------- /samples/lp/conti.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/conti.lp -------------------------------------------------------------------------------- /samples/lp/empty_obj_1.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/empty_obj_1.lp -------------------------------------------------------------------------------- /samples/lp/empty_obj_2.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/empty_obj_2.lp -------------------------------------------------------------------------------- /samples/lp/error/const_in_obj.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/error/const_in_obj.lp -------------------------------------------------------------------------------- /samples/lp/error/inconsistent-bound-neg-inf.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/error/inconsistent-bound-neg-inf.lp -------------------------------------------------------------------------------- /samples/lp/error/inconsistent-bound-pos-inf.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/error/inconsistent-bound-pos-inf.lp -------------------------------------------------------------------------------- /samples/lp/factor137874311.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/factor137874311.lp -------------------------------------------------------------------------------- /samples/lp/factor35.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/factor35.lp -------------------------------------------------------------------------------- /samples/lp/factor672263.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/factor672263.lp -------------------------------------------------------------------------------- /samples/lp/glpk-preprocess-bug.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/glpk-preprocess-bug.lp -------------------------------------------------------------------------------- /samples/lp/infeasible.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/infeasible.lp -------------------------------------------------------------------------------- /samples/lp/ip-myth-1.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/ip-myth-1.lp -------------------------------------------------------------------------------- /samples/lp/ip-myth-13-2.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/ip-myth-13-2.lp -------------------------------------------------------------------------------- /samples/lp/ip-myth-22-9.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/ip-myth-22-9.lp -------------------------------------------------------------------------------- /samples/lp/ip-myth-22-99.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/ip-myth-22-99.lp -------------------------------------------------------------------------------- /samples/lp/ip-myth-22-999.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/ip-myth-22-999.lp -------------------------------------------------------------------------------- /samples/lp/test-indicator.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-indicator.lp -------------------------------------------------------------------------------- /samples/lp/test-qcp.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-qcp.lp -------------------------------------------------------------------------------- /samples/lp/test-qcp2.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-qcp2.lp -------------------------------------------------------------------------------- /samples/lp/test-qp.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-qp.lp -------------------------------------------------------------------------------- /samples/lp/test-semiint.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-semiint.lp -------------------------------------------------------------------------------- /samples/lp/test-solution-cbc-infeasible.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-cbc-infeasible.txt -------------------------------------------------------------------------------- /samples/lp/test-solution-cbc-unbounded.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-cbc-unbounded.txt -------------------------------------------------------------------------------- /samples/lp/test-solution-cbc.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-cbc.txt -------------------------------------------------------------------------------- /samples/lp/test-solution-cplex-unbounded.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-cplex-unbounded.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-cplex.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-cplex.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-glpk-infeasible.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-glpk-infeasible.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-glpk-long.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-glpk-long.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-glpk-unbounded.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-glpk-unbounded.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-glpk.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-glpk.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-gurobi.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-gurobi.sol -------------------------------------------------------------------------------- /samples/lp/test-solution-scip.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test-solution-scip.sol -------------------------------------------------------------------------------- /samples/lp/test.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/test.lp -------------------------------------------------------------------------------- /samples/lp/unbounded-ip.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/lp/unbounded-ip.lp -------------------------------------------------------------------------------- /samples/maxsat/MML10.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/MML10.wcnf -------------------------------------------------------------------------------- /samples/maxsat/file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf -------------------------------------------------------------------------------- /samples/maxsat/maxsat.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/maxsat.cnf -------------------------------------------------------------------------------- /samples/maxsat/new-format.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/new-format.wcnf -------------------------------------------------------------------------------- /samples/maxsat/partial-maxsat.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/partial-maxsat.wcnf -------------------------------------------------------------------------------- /samples/maxsat/ram_k3_n10.ra1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/ram_k3_n10.ra1.wcnf -------------------------------------------------------------------------------- /samples/maxsat/t3pm3-5555.spn.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/t3pm3-5555.spn.cnf -------------------------------------------------------------------------------- /samples/maxsat/ubcsat-sample.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/ubcsat-sample.cnf -------------------------------------------------------------------------------- /samples/maxsat/ubcsat-sample.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/ubcsat-sample.wcnf -------------------------------------------------------------------------------- /samples/maxsat/weighted-maxsat.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/weighted-maxsat.wcnf -------------------------------------------------------------------------------- /samples/maxsat/weighted-partial-maxsat.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/maxsat/weighted-partial-maxsat.wcnf -------------------------------------------------------------------------------- /samples/mps/enlight13.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/enlight13.mps -------------------------------------------------------------------------------- /samples/mps/example2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/example2.mps -------------------------------------------------------------------------------- /samples/mps/ind1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/ind1.mps -------------------------------------------------------------------------------- /samples/mps/intvar1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/intvar1.mps -------------------------------------------------------------------------------- /samples/mps/intvar2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/intvar2.mps -------------------------------------------------------------------------------- /samples/mps/quadobj1.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/quadobj1.mps -------------------------------------------------------------------------------- /samples/mps/quadobj2.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/quadobj2.mps -------------------------------------------------------------------------------- /samples/mps/ranges.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/ranges.mps -------------------------------------------------------------------------------- /samples/mps/sc.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/sc.mps -------------------------------------------------------------------------------- /samples/mps/sos.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/sos.mps -------------------------------------------------------------------------------- /samples/mps/test-qcp.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/test-qcp.mps -------------------------------------------------------------------------------- /samples/mps/test-semiint-gurobi.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/test-semiint-gurobi.mps -------------------------------------------------------------------------------- /samples/mps/test-semiint-lpsolve.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/mps/test-semiint-lpsolve.mps -------------------------------------------------------------------------------- /samples/pbo/example-lin.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/example-lin.opb -------------------------------------------------------------------------------- /samples/pbo/example-nlc-1.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/example-nlc-1.opb -------------------------------------------------------------------------------- /samples/pbo/example-nlc-2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/example-nlc-2.opb -------------------------------------------------------------------------------- /samples/pbo/normalized-aries-da_network_20_2__17_12.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/normalized-aries-da_network_20_2__17_12.opb -------------------------------------------------------------------------------- /samples/pbo/normalized-aries-da_network_50_2__8_45__128.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/normalized-aries-da_network_50_2__8_45__128.opb -------------------------------------------------------------------------------- /samples/pbo/normalized-mds_50_10_4.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/normalized-mds_50_10_4.opb -------------------------------------------------------------------------------- /samples/pbo/normalized-opt-market-split_4_30_2.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbo/normalized-opt-market-split_4_30_2.opb -------------------------------------------------------------------------------- /samples/pbs/normalized-1096.cudf.paranoid.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/normalized-1096.cudf.paranoid.opb -------------------------------------------------------------------------------- /samples/pbs/normalized-j3025_1-sat.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/normalized-j3025_1-sat.opb -------------------------------------------------------------------------------- /samples/pbs/pigeonhole_100_99.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/pigeonhole_100_99.opb -------------------------------------------------------------------------------- /samples/pbs/pigeonhole_10_9.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/pigeonhole_10_9.opb -------------------------------------------------------------------------------- /samples/pbs/pigeonhole_150_149.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/pigeonhole_150_149.opb -------------------------------------------------------------------------------- /samples/pbs/pigeonhole_15_14.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/pigeonhole_15_14.opb -------------------------------------------------------------------------------- /samples/pbs/pigeonhole_5_4.opb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/pbs/pigeonhole_5_4.opb -------------------------------------------------------------------------------- /samples/programs/assign/assign.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/assign/assign.hs -------------------------------------------------------------------------------- /samples/programs/htc/htc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/htc/htc.hs -------------------------------------------------------------------------------- /samples/programs/htc/test1.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/htc/test1.dat -------------------------------------------------------------------------------- /samples/programs/htc/test2.dat: -------------------------------------------------------------------------------- 1 | 2 4 7 2 | 7 8 3 | 9 4 | 9 10 5 | -------------------------------------------------------------------------------- /samples/programs/knapsack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/README.md -------------------------------------------------------------------------------- /samples/programs/knapsack/knapsack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/knapsack.hs -------------------------------------------------------------------------------- /samples/programs/knapsack/p01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p01.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p02.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p03.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p03.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p04.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p05.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p05.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p06.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p06.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p07.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p07.txt -------------------------------------------------------------------------------- /samples/programs/knapsack/p08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/knapsack/p08.txt -------------------------------------------------------------------------------- /samples/programs/nonogram/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/nonogram/README.md -------------------------------------------------------------------------------- /samples/programs/nonogram/nonogram.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/nonogram/nonogram.hs -------------------------------------------------------------------------------- /samples/programs/nonogram/sample.cwd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/nonogram/sample.cwd -------------------------------------------------------------------------------- /samples/programs/nqueens/nqueens.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/nqueens/nqueens.hs -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2013/NL_Q04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2013/NL_Q04.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2013/NL_R04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2013/NL_R04.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A01.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A02.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A03.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A03.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A04.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A06.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A06.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A07.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A07.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A08.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A09.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A09.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A13.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A14.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/A/T99_A15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/A/T99_A15.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q01.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q02.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q03.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q03.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q04.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q06.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q06.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q07.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q07.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q08.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q09.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q09.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q13.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q13.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q14.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2014_QA/Q/NL_Q15.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2014_QA/Q/NL_Q15.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2016/sample/01/NL_Q01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2016/sample/01/NL_Q01.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/ADC2016/sample/01/T99_A01.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/ADC2016/sample/01/T99_A01.txt -------------------------------------------------------------------------------- /samples/programs/numberlink/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/README.md -------------------------------------------------------------------------------- /samples/programs/numberlink/numberlink.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/numberlink/numberlink.hs -------------------------------------------------------------------------------- /samples/programs/probsat/probsat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/probsat/probsat.hs -------------------------------------------------------------------------------- /samples/programs/shortest-path/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/shortest-path/README.md -------------------------------------------------------------------------------- /samples/programs/shortest-path/shortest-path.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/shortest-path/shortest-path.hs -------------------------------------------------------------------------------- /samples/programs/sudoku/sample1.sdk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/sudoku/sample1.sdk -------------------------------------------------------------------------------- /samples/programs/sudoku/sample2.sdk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/sudoku/sample2.sdk -------------------------------------------------------------------------------- /samples/programs/sudoku/sudoku.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/sudoku/sudoku.hs -------------------------------------------------------------------------------- /samples/programs/survey-propagation/survey-propagation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/survey-propagation/survey-propagation.hs -------------------------------------------------------------------------------- /samples/programs/svm2lp/a1a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/svm2lp/a1a -------------------------------------------------------------------------------- /samples/programs/svm2lp/svm2lp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/programs/svm2lp/svm2lp.hs -------------------------------------------------------------------------------- /samples/qbf/aim-50-1_6-yes1-3-00-shuffled.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/aim-50-1_6-yes1-3-00-shuffled.qdimacs -------------------------------------------------------------------------------- /samples/qbf/example1.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/example1.qdimacs -------------------------------------------------------------------------------- /samples/qbf/ii8a1-90-shuffled.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/ii8a1-90-shuffled.qdimacs -------------------------------------------------------------------------------- /samples/qbf/toilet_a_02_10.2-shuffled.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/toilet_a_02_10.2-shuffled.qdimacs -------------------------------------------------------------------------------- /samples/qbf/toilet_c_06_01.5-shuffled.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/toilet_c_06_01.5-shuffled.qdimacs -------------------------------------------------------------------------------- /samples/qbf/z4ml.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/qbf/z4ml.blif_0.10_1.00_0_0_out_exact-shuffled.qdimacs -------------------------------------------------------------------------------- /samples/sat/Hidoku_enu_6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sat/Hidoku_enu_6.cnf -------------------------------------------------------------------------------- /samples/sat/complete-300-0.1-18-98765432130018.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sat/complete-300-0.1-18-98765432130018.cnf -------------------------------------------------------------------------------- /samples/sat/empty-clause.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /samples/sat/empty.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /samples/sat/frb45-21-1.used-as.sat04-883.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sat/frb45-21-1.used-as.sat04-883.cnf -------------------------------------------------------------------------------- /samples/sat/unif-k3-r4.267-v5000-c21335-S5173013380491600450.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sat/unif-k3-r4.267-v5000-c21335-S5173013380491600450.cnf -------------------------------------------------------------------------------- /samples/sdp/example1.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sdp/example1.dat -------------------------------------------------------------------------------- /samples/sdp/example1.dat-s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sdp/example1.dat-s -------------------------------------------------------------------------------- /samples/sdp/example2.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/sdp/example2.dat -------------------------------------------------------------------------------- /samples/smt/QF_ABV.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_ABV.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_AUFLIA.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_AUFLIA.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_BV.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_BV.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_LIA.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_LIA.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_LRA.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_LRA.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_LRA_2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_LRA_2.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_UF.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_UF.smt2 -------------------------------------------------------------------------------- /samples/smt/QF_UFLRA.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/QF_UFLRA.smt2 -------------------------------------------------------------------------------- /samples/smt/assertion-stack-levels-2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/assertion-stack-levels-2.smt2 -------------------------------------------------------------------------------- /samples/smt/assertion-stack-levels.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/assertion-stack-levels.smt2 -------------------------------------------------------------------------------- /samples/smt/assumptions.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/assumptions.smt2 -------------------------------------------------------------------------------- /samples/smt/chain.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/chain.smt2 -------------------------------------------------------------------------------- /samples/smt/declare-const.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/declare-const.smt2 -------------------------------------------------------------------------------- /samples/smt/define-fun-rec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/define-fun-rec.smt2 -------------------------------------------------------------------------------- /samples/smt/define-funs-rec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/define-funs-rec.smt2 -------------------------------------------------------------------------------- /samples/smt/division-by-zero.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/division-by-zero.smt2 -------------------------------------------------------------------------------- /samples/smt/echo.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/echo.smt2 -------------------------------------------------------------------------------- /samples/smt/get-assertions.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/get-assertions.smt2 -------------------------------------------------------------------------------- /samples/smt/get-assignment.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/get-assignment.smt2 -------------------------------------------------------------------------------- /samples/smt/get-model.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/get-model.smt2 -------------------------------------------------------------------------------- /samples/smt/get-value.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/get-value.smt2 -------------------------------------------------------------------------------- /samples/smt/global-declarations.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/global-declarations.smt2 -------------------------------------------------------------------------------- /samples/smt/print-success.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/print-success.smt2 -------------------------------------------------------------------------------- /samples/smt/quoted-symbol.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/quoted-symbol.smt2 -------------------------------------------------------------------------------- /samples/smt/reset-assertions.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/reset-assertions.smt2 -------------------------------------------------------------------------------- /samples/smt/reset.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/reset.smt2 -------------------------------------------------------------------------------- /samples/smt/set-info-status.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/set-info-status.smt2 -------------------------------------------------------------------------------- /samples/smt/swap.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/swap.smt2 -------------------------------------------------------------------------------- /samples/smt/unicode-symbol.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/unicode-symbol.smt2 -------------------------------------------------------------------------------- /samples/smt/unsat-core.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/unsat-core.smt2 -------------------------------------------------------------------------------- /samples/smt/yices-floating-point.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/smt/yices-floating-point.ys -------------------------------------------------------------------------------- /samples/tptp/animal.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/tptp/animal.tptp -------------------------------------------------------------------------------- /samples/tptp/drink.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/tptp/drink.tptp -------------------------------------------------------------------------------- /samples/tptp/sudoku.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/tptp/sudoku.tptp -------------------------------------------------------------------------------- /samples/tptp/test.tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/tptp/test.tptp -------------------------------------------------------------------------------- /samples/wbo/example1.wbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/wbo/example1.wbo -------------------------------------------------------------------------------- /samples/wbo/example2.wbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/wbo/example2.wbo -------------------------------------------------------------------------------- /samples/wbo/example3.wbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/wbo/example3.wbo -------------------------------------------------------------------------------- /samples/wbo/normalized-satellite01ac_wcsp.wbo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/samples/wbo/normalized-satellite01ac_wcsp.wbo -------------------------------------------------------------------------------- /src/ToySolver/Arith/BoundsInference.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/BoundsInference.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/CAD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/CAD.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/ContiTraverso.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/ContiTraverso.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Cooper.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Cooper.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Cooper/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Cooper/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Cooper/FOL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Cooper/FOL.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/DifferenceLogic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/DifferenceLogic.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/FourierMotzkin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/FourierMotzkin.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/FourierMotzkin/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/FourierMotzkin/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/FourierMotzkin/FOL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/FourierMotzkin/FOL.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/FourierMotzkin/Optimization.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/FourierMotzkin/Optimization.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/LPUtil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/LPUtil.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/MIP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/MIP.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/OmegaTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/OmegaTest.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/OmegaTest/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/OmegaTest/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex/Simple.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex/Textbook.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex/Textbook.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex/Textbook/LPSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex/Textbook/LPSolver.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex/Textbook/LPSolver/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex/Textbook/LPSolver/Simple.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/Simplex/Textbook/MIPSolver/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/Simplex/Textbook/MIPSolver/Simple.hs -------------------------------------------------------------------------------- /src/ToySolver/Arith/VirtualSubstitution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Arith/VirtualSubstitution.hs -------------------------------------------------------------------------------- /src/ToySolver/BitVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/BitVector.hs -------------------------------------------------------------------------------- /src/ToySolver/BitVector/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/BitVector/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/BitVector/Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/BitVector/Solver.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/BipartiteMatching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/BipartiteMatching.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/DAA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/DAA.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/GurvichKhachiyan1999.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/HTCBDD.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/InterestingSets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/InterestingSets.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/MARCO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/MARCO.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/SHD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/SHD.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/Simple.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/HittingSet/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/HittingSet/Util.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/Knapsack/BB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/Knapsack/BB.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/Knapsack/DPDense.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/Knapsack/DPDense.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/Knapsack/DPSparse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/Knapsack/DPSparse.hs -------------------------------------------------------------------------------- /src/ToySolver/Combinatorial/SubsetSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Combinatorial/SubsetSum.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/GCNF2MaxSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/GCNF2MaxSAT.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/MIP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/MIP.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/MIP2SMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/MIP2SMT.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/NAESAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/NAESAT.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/PB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/PB.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/PB/Internal/LargestIntersectionFinder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/PB/Internal/LargestIntersectionFinder.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/PB/Internal/Product.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/PB/Internal/Product.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/QBF2IPC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/QBF2IPC.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/QUBO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/QUBO.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/SAT2KSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/SAT2KSAT.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/SAT2MIS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/SAT2MIS.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/SAT2MaxCut.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/SAT2MaxCut.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/SAT2MaxSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/SAT2MaxSAT.hs -------------------------------------------------------------------------------- /src/ToySolver/Converter/Tseitin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Converter/Tseitin.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/AlgebraicNumber/Complex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/AlgebraicNumber/Complex.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/AlgebraicNumber/Graeffe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/AlgebraicNumber/Graeffe.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/AlgebraicNumber/Real.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/AlgebraicNumber/Real.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/AlgebraicNumber/Root.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/AlgebraicNumber/Root.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/AlgebraicNumber/Sturm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/AlgebraicNumber/Sturm.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/BoolExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/BoolExpr.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/BoolRing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/BoolRing.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Boolean.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Boolean.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/DNF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/DNF.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Delta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Delta.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/FOL/Arith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/FOL/Arith.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/FOL/Formula.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/FOL/Formula.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/IntVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/IntVar.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/LA.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/LA.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/LA/FOL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/LA/FOL.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/LBool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/LBool.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/OrdRel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/OrdRel.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polyhedron.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polyhedron.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Hensel.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Hensel.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Hensel/Internal.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Integer.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Kronecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Kronecker.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Rational.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Rational.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/SquareFree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/SquareFree.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Factorization/Zassenhaus.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/GroebnerBasis.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/GroebnerBasis.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Interpolation/Hermite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Interpolation/Hermite.hs -------------------------------------------------------------------------------- /src/ToySolver/Data/Polynomial/Interpolation/Lagrange.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Data/Polynomial/Interpolation/Lagrange.hs -------------------------------------------------------------------------------- /src/ToySolver/EUF/CongruenceClosure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/EUF/CongruenceClosure.hs -------------------------------------------------------------------------------- /src/ToySolver/EUF/EUFSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/EUF/EUFSolver.hs -------------------------------------------------------------------------------- /src/ToySolver/EUF/FiniteModelFinder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/EUF/FiniteModelFinder.hs -------------------------------------------------------------------------------- /src/ToySolver/FileFormat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/FileFormat.hs -------------------------------------------------------------------------------- /src/ToySolver/FileFormat/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/FileFormat/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/FileFormat/CNF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/FileFormat/CNF.hs -------------------------------------------------------------------------------- /src/ToySolver/Graph/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Graph/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/Graph/MaxCut.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Graph/MaxCut.hs -------------------------------------------------------------------------------- /src/ToySolver/Graph/ShortestPath.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Graph/ShortestPath.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Data/IOURef.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Data/IOURef.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Data/IndexedPriorityQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Data/IndexedPriorityQueue.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Data/PriorityQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Data/PriorityQueue.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Data/SeqQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Data/SeqQueue.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Data/Vec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Data/Vec.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/JSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/JSON.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/ProcessUtil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/ProcessUtil.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/SolutionChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/SolutionChecker.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/TextUtil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/TextUtil.hs -------------------------------------------------------------------------------- /src/ToySolver/Internal/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Internal/Util.hs -------------------------------------------------------------------------------- /src/ToySolver/QBF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/QBF.hs -------------------------------------------------------------------------------- /src/ToySolver/QUBO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/QUBO.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Cardinality.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Cardinality.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Cardinality/Internal/Naive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Cardinality/Internal/Naive.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Cardinality/Internal/Totalizer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Cardinality/Internal/Totalizer.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Integer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Integer.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PB.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PB/Internal/BCCNF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PB/Internal/BCCNF.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PB/Internal/BDD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PB/Internal/BDD.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PB/Internal/Sorter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PB/Internal/Sorter.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/PBNLC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/PBNLC.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Encoder/Tseitin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Encoder/Tseitin.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/ExistentialQuantification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/ExistentialQuantification.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Formula.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Formula.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Internal/JSON.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Internal/JSON.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/LogParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/LogParser.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Deletion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Deletion.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Enum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Enum.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Enum/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Enum/Base.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Enum/CAMUS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Enum/CAMUS.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Insertion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Insertion.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/QuickXplain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/QuickXplain.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/MUS/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/MUS/Types.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/BC.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/BC.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/BCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/BCD.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/BCD2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/BCD2.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/Context.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/Context.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/MSU4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/MSU4.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/PBO/UnsatBased.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/PBO/UnsatBased.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Printer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Printer.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Solver/CDCL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Solver/CDCL.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Solver/CDCL/Config.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Solver/CDCL/Config.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Solver/MessagePassing/SurveyPropagation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Solver/MessagePassing/SurveyPropagation.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Solver/SLS/ProbSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Solver/SLS/ProbSAT.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Solver/SLS/UBCSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Solver/SLS/UBCSAT.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Store/CNF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Store/CNF.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Store/PB.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Store/PB.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/TheorySolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/TheorySolver.hs -------------------------------------------------------------------------------- /src/ToySolver/SAT/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SAT/Types.hs -------------------------------------------------------------------------------- /src/ToySolver/SDP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SDP.hs -------------------------------------------------------------------------------- /src/ToySolver/SMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/SMT.hs -------------------------------------------------------------------------------- /src/ToySolver/Text/SDPFile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Text/SDPFile.hs -------------------------------------------------------------------------------- /src/ToySolver/Version.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Version.hs -------------------------------------------------------------------------------- /src/ToySolver/Version/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Version/TH.hs -------------------------------------------------------------------------------- /src/ToySolver/Wang.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/src/ToySolver/Wang.hs -------------------------------------------------------------------------------- /stack-ghc-9.10.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack-ghc-9.10.yaml -------------------------------------------------------------------------------- /stack-ghc-9.2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack-ghc-9.2.yaml -------------------------------------------------------------------------------- /stack-ghc-9.4.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack-ghc-9.4.yaml -------------------------------------------------------------------------------- /stack-ghc-9.6.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack-ghc-9.6.yaml -------------------------------------------------------------------------------- /stack-ghc-9.8.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack-ghc-9.8.yaml -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Test/AReal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/AReal.hs -------------------------------------------------------------------------------- /test/Test/AReal2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/AReal2.hs -------------------------------------------------------------------------------- /test/Test/Arith.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Arith.hs -------------------------------------------------------------------------------- /test/Test/BipartiteMatching.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/BipartiteMatching.hs -------------------------------------------------------------------------------- /test/Test/BitVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/BitVector.hs -------------------------------------------------------------------------------- /test/Test/BoolExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/BoolExpr.hs -------------------------------------------------------------------------------- /test/Test/CNF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/CNF.hs -------------------------------------------------------------------------------- /test/Test/CongruenceClosure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/CongruenceClosure.hs -------------------------------------------------------------------------------- /test/Test/ContiTraverso.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/ContiTraverso.hs -------------------------------------------------------------------------------- /test/Test/Converter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Converter.hs -------------------------------------------------------------------------------- /test/Test/Delta.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Delta.hs -------------------------------------------------------------------------------- /test/Test/FiniteModelFinder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/FiniteModelFinder.hs -------------------------------------------------------------------------------- /test/Test/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Graph.hs -------------------------------------------------------------------------------- /test/Test/GraphShortestPath.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/GraphShortestPath.hs -------------------------------------------------------------------------------- /test/Test/HittingSets.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/HittingSets.hs -------------------------------------------------------------------------------- /test/Test/Knapsack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Knapsack.hs -------------------------------------------------------------------------------- /test/Test/MIPSolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/MIPSolver.hs -------------------------------------------------------------------------------- /test/Test/Misc.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Misc.hs -------------------------------------------------------------------------------- /test/Test/ProbSAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/ProbSAT.hs -------------------------------------------------------------------------------- /test/Test/QBF.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/QBF.hs -------------------------------------------------------------------------------- /test/Test/QUBO.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/QUBO.hs -------------------------------------------------------------------------------- /test/Test/SAT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT.hs -------------------------------------------------------------------------------- /test/Test/SAT/Encoder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/Encoder.hs -------------------------------------------------------------------------------- /test/Test/SAT/ExistentialQuantification.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/ExistentialQuantification.hs -------------------------------------------------------------------------------- /test/Test/SAT/LogParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/LogParser.hs -------------------------------------------------------------------------------- /test/Test/SAT/MUS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/MUS.hs -------------------------------------------------------------------------------- /test/Test/SAT/TheorySolver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/TheorySolver.hs -------------------------------------------------------------------------------- /test/Test/SAT/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/Types.hs -------------------------------------------------------------------------------- /test/Test/SAT/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SAT/Utils.hs -------------------------------------------------------------------------------- /test/Test/SDPFile.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SDPFile.hs -------------------------------------------------------------------------------- /test/Test/SMT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SMT.hs -------------------------------------------------------------------------------- /test/Test/SMTLIB2Solver.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SMTLIB2Solver.hs -------------------------------------------------------------------------------- /test/Test/Simplex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Simplex.hs -------------------------------------------------------------------------------- /test/Test/SimplexTextbook.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SimplexTextbook.hs -------------------------------------------------------------------------------- /test/Test/Smtlib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/Smtlib.hs -------------------------------------------------------------------------------- /test/Test/SolutionChecker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SolutionChecker.hs -------------------------------------------------------------------------------- /test/Test/SubsetSum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/Test/SubsetSum.hs -------------------------------------------------------------------------------- /test/TestPolynomial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/TestPolynomial.hs -------------------------------------------------------------------------------- /test/TestSuite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/test/TestSuite.hs -------------------------------------------------------------------------------- /toysolver.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/msakai/toysolver/HEAD/toysolver.cabal --------------------------------------------------------------------------------