├── .gitignore ├── README.md ├── TALK.md ├── code ├── .DS_Store ├── abs.dfy ├── block.rkt ├── debug.rkt ├── fib.dfy ├── lec1.rkt ├── loopinv.dfy ├── no-uf.smt2 ├── optimize.rkt ├── prepost.dfy ├── solve.rkt ├── synth.rkt ├── verify.rkt └── yes-uf.smt2 ├── homework ├── hw1 │ ├── README.md │ ├── binary_search.dfy │ ├── bubble_sort.dfy │ └── min.dfy ├── hw2 │ ├── README.md │ └── install.md ├── hw3 │ ├── Basics.v │ ├── README.md │ ├── Ubool.v │ └── image.png ├── hw4 │ ├── .devcontainer │ │ └── devcontainer.json │ ├── HW4Extra.v │ ├── README.md │ └── self-grading.txt ├── hw5 │ ├── HW5Extra.v │ ├── README.md │ └── self-grading.txt └── hw6 │ ├── README.md │ └── self-grading.txt ├── lectures ├── lecture1.key ├── lecture1.pdf ├── lecture10.key ├── lecture10.pdf ├── lecture11.key ├── lecture11.pdf ├── lecture13.pdf ├── lecture2.key ├── lecture2.pdf ├── lecture3.key ├── lecture3.pdf ├── lecture4.key ├── lecture4.pdf ├── lecture5.key ├── lecture5.pdf ├── lecture6.key ├── lecture6.pdf ├── lecture7.key ├── lecture7.pdf ├── lecture8.key ├── lecture8.pdf ├── lecture9.key └── lecture9.pdf ├── projects ├── final │ ├── final-a │ │ ├── README.md │ │ └── benchmarks │ │ │ ├── b1.rs │ │ │ ├── b2.rs │ │ │ ├── b3.rs │ │ │ ├── b4.rs │ │ │ ├── b5.rs │ │ │ ├── b6.rs │ │ │ ├── b7.rs │ │ │ ├── b8.rs │ │ │ └── b9.rs │ └── final-b │ │ ├── README.md │ │ └── benchmarks │ │ ├── b1.py │ │ ├── b2.py │ │ ├── b3.py │ │ ├── b4.py │ │ ├── b5.py │ │ └── b6.py ├── proj1 │ ├── Makefile │ ├── README.md │ ├── bin │ │ ├── dune │ │ └── main.ml │ ├── binary_search.dfy │ ├── bubble_sort.dfy │ ├── difny.png │ ├── dune-project │ ├── lib │ │ ├── desugar.ml │ │ ├── desugar.mli │ │ ├── dune │ │ ├── eval.ml │ │ ├── iarray.ml │ │ ├── lang.ml │ │ ├── lexer.mll │ │ ├── menhir_parser.mly │ │ ├── parser.ml │ │ ├── pretty.ml │ │ ├── pretty.mli │ │ ├── smt.ml │ │ ├── smt.mli │ │ ├── todo.ml │ │ ├── verify.ml │ │ └── verify.mli │ ├── min.dfy │ └── test │ │ ├── dune │ │ ├── public │ │ ├── bench.csv │ │ ├── binary_search.dfy │ │ ├── binary_search.dfy.expected │ │ ├── binary_search2.dfy │ │ ├── binary_search2.dfy.expected │ │ ├── binary_search_bad1.dfy │ │ ├── binary_search_bad1.dfy.expected │ │ ├── binary_search_bad2.dfy │ │ ├── binary_search_bad2.dfy.expected │ │ ├── even_odd.dfy │ │ ├── even_odd.dfy.expected │ │ ├── even_odd_bad.dfy │ │ ├── even_odd_bad.dfy.expected │ │ ├── fib.dfy │ │ ├── fib.dfy.expected │ │ ├── fib_arr.dfy │ │ ├── fib_arr.dfy.expected │ │ ├── fib_arr_bad.dfy │ │ ├── fib_arr_bad.dfy.expected │ │ ├── fib_diverge.dfy │ │ ├── fib_diverge.dfy.expected │ │ ├── fn_args.dfy │ │ ├── fn_args.dfy.expected │ │ ├── fn_args2.dfy │ │ ├── fn_args2.dfy.expected │ │ ├── fn_args3.dfy │ │ ├── fn_args3.dfy.expected │ │ ├── fn_ret.dfy │ │ ├── fn_ret.dfy.expected │ │ ├── fn_ret2.dfy │ │ ├── fn_ret2.dfy.expected │ │ ├── fn_ret3.dfy │ │ ├── fn_ret3.dfy.expected │ │ ├── map_min.dfy │ │ ├── map_min.dfy.expected │ │ ├── map_min_bad.dfy │ │ ├── map_min_bad.dfy.expected │ │ ├── max.dfy │ │ ├── max.dfy.expected │ │ ├── max_arr.dfy │ │ ├── max_arr.dfy.expected │ │ ├── max_arr_rec.dfy │ │ ├── max_arr_rec.dfy.expected │ │ ├── max_arr_rec_bad.dfy │ │ ├── max_arr_rec_bad.dfy.expected │ │ ├── max_fn.dfy │ │ ├── max_fn.dfy.expected │ │ ├── min2d.dfy │ │ ├── min2d.dfy.expected │ │ ├── mul.dfy │ │ ├── mul.dfy.expected │ │ ├── mul_arr.dfy │ │ ├── mul_arr.dfy.expected │ │ ├── mul_arr_fn.dfy │ │ ├── mul_arr_fn.dfy.expected │ │ ├── mul_fn.dfy │ │ ├── mul_fn.dfy.expected │ │ ├── rand.dfy │ │ ├── rand.dfy.expected │ │ ├── test.dfy │ │ ├── test.dfy.expected │ │ ├── while1d.dfy │ │ ├── while1d.dfy.expected │ │ ├── while2d.dfy │ │ ├── while2d.dfy.expected │ │ ├── while2d_weak.dfy │ │ ├── while2d_weak.dfy.expected │ │ ├── while_false.dfy │ │ ├── while_false.dfy.expected │ │ ├── while_true.dfy │ │ └── while_true.dfy.expected │ │ └── test_proj1.ml └── proj2 │ ├── .ocamlformat │ ├── Makefile │ ├── README.md │ ├── bin │ ├── dune │ └── main.ml │ ├── dune-project │ ├── lib │ ├── dune │ ├── frontend │ │ ├── clause.ml │ │ ├── clause.mli │ │ ├── description.ml │ │ ├── description.mli │ │ ├── dimacs_parser.ml │ │ ├── dune │ │ ├── eval.ml │ │ ├── eval.mli │ │ ├── formula.ml │ │ ├── formula.mli │ │ ├── lit.ml │ │ ├── lit.mli │ │ ├── menhir_parser.mly │ │ ├── scanner.mll │ │ ├── var.ml │ │ └── var.mli │ ├── solver │ │ ├── assign.ml │ │ ├── assign.mli │ │ ├── bcp.ml │ │ ├── bcp.mli │ │ ├── cdcl.ml │ │ ├── cdcl.mli │ │ ├── dpll.ml │ │ ├── dpll.mli │ │ ├── dune │ │ ├── heuristics.ml │ │ ├── heuristics.mli │ │ ├── proof.ml │ │ ├── proof.mli │ │ ├── script.ml │ │ ├── script.mli │ │ ├── solution.ml │ │ ├── solution.mli │ │ ├── state.ml │ │ ├── state.mli │ │ └── todo.ml │ └── utils.ml │ ├── test │ ├── bench │ │ ├── aim │ │ │ ├── sat │ │ │ │ ├── aim-100-1_6-yes1-1.cnf │ │ │ │ ├── aim-100-1_6-yes1-2.cnf │ │ │ │ ├── aim-100-1_6-yes1-3.cnf │ │ │ │ ├── aim-100-1_6-yes1-4.cnf │ │ │ │ ├── aim-100-2_0-yes1-1.cnf │ │ │ │ ├── aim-100-2_0-yes1-2.cnf │ │ │ │ ├── aim-100-2_0-yes1-3.cnf │ │ │ │ ├── aim-100-2_0-yes1-4.cnf │ │ │ │ ├── aim-100-3_4-yes1-1.cnf │ │ │ │ ├── aim-100-3_4-yes1-2.cnf │ │ │ │ ├── aim-100-3_4-yes1-3.cnf │ │ │ │ ├── aim-100-3_4-yes1-4.cnf │ │ │ │ ├── aim-100-6_0-yes1-1.cnf │ │ │ │ ├── aim-100-6_0-yes1-2.cnf │ │ │ │ ├── aim-100-6_0-yes1-3.cnf │ │ │ │ ├── aim-100-6_0-yes1-4.cnf │ │ │ │ ├── aim-200-1_6-yes1-1.cnf │ │ │ │ ├── aim-200-1_6-yes1-2.cnf │ │ │ │ ├── aim-200-1_6-yes1-3.cnf │ │ │ │ ├── aim-200-1_6-yes1-4.cnf │ │ │ │ ├── aim-200-2_0-yes1-1.cnf │ │ │ │ ├── aim-200-2_0-yes1-2.cnf │ │ │ │ ├── aim-200-2_0-yes1-3.cnf │ │ │ │ ├── aim-200-2_0-yes1-4.cnf │ │ │ │ ├── aim-200-3_4-yes1-1.cnf │ │ │ │ ├── aim-200-3_4-yes1-2.cnf │ │ │ │ ├── aim-200-3_4-yes1-3.cnf │ │ │ │ ├── aim-200-3_4-yes1-4.cnf │ │ │ │ ├── aim-200-6_0-yes1-1.cnf │ │ │ │ ├── aim-200-6_0-yes1-2.cnf │ │ │ │ ├── aim-200-6_0-yes1-3.cnf │ │ │ │ ├── aim-200-6_0-yes1-4.cnf │ │ │ │ ├── aim-50-1_6-yes1-1.cnf │ │ │ │ ├── aim-50-1_6-yes1-2.cnf │ │ │ │ ├── aim-50-1_6-yes1-3.cnf │ │ │ │ ├── aim-50-1_6-yes1-4.cnf │ │ │ │ ├── aim-50-2_0-yes1-1.cnf │ │ │ │ ├── aim-50-2_0-yes1-2.cnf │ │ │ │ ├── aim-50-2_0-yes1-3.cnf │ │ │ │ ├── aim-50-2_0-yes1-4.cnf │ │ │ │ ├── aim-50-3_4-yes1-1.cnf │ │ │ │ ├── aim-50-3_4-yes1-2.cnf │ │ │ │ ├── aim-50-3_4-yes1-3.cnf │ │ │ │ ├── aim-50-3_4-yes1-4.cnf │ │ │ │ ├── aim-50-6_0-yes1-1.cnf │ │ │ │ ├── aim-50-6_0-yes1-2.cnf │ │ │ │ ├── aim-50-6_0-yes1-3.cnf │ │ │ │ ├── aim-50-6_0-yes1-4.cnf │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── aim-100-1_6-no-1.cnf │ │ │ │ ├── aim-100-1_6-no-2.cnf │ │ │ │ ├── aim-100-1_6-no-3.cnf │ │ │ │ ├── aim-100-1_6-no-4.cnf │ │ │ │ ├── aim-100-2_0-no-1.cnf │ │ │ │ ├── aim-100-2_0-no-2.cnf │ │ │ │ ├── aim-100-2_0-no-3.cnf │ │ │ │ ├── aim-100-2_0-no-4.cnf │ │ │ │ ├── aim-200-1_6-no-1.cnf │ │ │ │ ├── aim-200-1_6-no-2.cnf │ │ │ │ ├── aim-200-1_6-no-3.cnf │ │ │ │ ├── aim-200-1_6-no-4.cnf │ │ │ │ ├── aim-200-2_0-no-1.cnf │ │ │ │ ├── aim-200-2_0-no-2.cnf │ │ │ │ ├── aim-200-2_0-no-3.cnf │ │ │ │ ├── aim-200-2_0-no-4.cnf │ │ │ │ ├── aim-50-1_6-no-1.cnf │ │ │ │ ├── aim-50-1_6-no-2.cnf │ │ │ │ ├── aim-50-1_6-no-3.cnf │ │ │ │ ├── aim-50-1_6-no-4.cnf │ │ │ │ ├── aim-50-2_0-no-1.cnf │ │ │ │ ├── aim-50-2_0-no-2.cnf │ │ │ │ ├── aim-50-2_0-no-3.cnf │ │ │ │ ├── aim-50-2_0-no-4.cnf │ │ │ │ └── cnf │ │ ├── bench.csv │ │ ├── bench0 │ │ │ ├── sat │ │ │ │ ├── cnf │ │ │ │ ├── par8-1-c.cnf │ │ │ │ ├── quinn.cnf │ │ │ │ ├── simple_v3_c2.cnf │ │ │ │ └── zebra_v155_c1135.cnf │ │ │ └── unsat │ │ │ │ └── cnf │ │ ├── bench1 │ │ │ ├── sat │ │ │ │ ├── 10-25.cnf │ │ │ │ ├── 15-20.cnf │ │ │ │ ├── 15-25.cnf │ │ │ │ ├── 15-30.cnf │ │ │ │ ├── 20-40.cnf │ │ │ │ ├── 20-65.cnf │ │ │ │ ├── 20-75.cnf │ │ │ │ ├── 20-90.cnf │ │ │ │ ├── 25-45.cnf │ │ │ │ ├── 25-50.cnf │ │ │ │ ├── 30-80.cnf │ │ │ │ ├── 35-85.cnf │ │ │ │ ├── 40-100.cnf │ │ │ │ ├── 40-45.cnf │ │ │ │ ├── 40-60.cnf │ │ │ │ ├── 45-90.cnf │ │ │ │ ├── 50-60.cnf │ │ │ │ ├── 50-75.cnf │ │ │ │ ├── 50-95.cnf │ │ │ │ ├── 55-95.cnf │ │ │ │ ├── 60-75.cnf │ │ │ │ ├── 60-90.cnf │ │ │ │ ├── 65-90.cnf │ │ │ │ ├── 70-100.cnf │ │ │ │ ├── 70-80.cnf │ │ │ │ ├── 75-100.cnf │ │ │ │ ├── 75-80.cnf │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── 10-100.cnf │ │ │ │ ├── 10-35.cnf │ │ │ │ ├── 10-40.cnf │ │ │ │ ├── 10-45.cnf │ │ │ │ ├── 10-55.cnf │ │ │ │ ├── 10-75.cnf │ │ │ │ ├── 10-80.cnf │ │ │ │ ├── 10-95.cnf │ │ │ │ ├── 15-50.cnf │ │ │ │ ├── 15-55.cnf │ │ │ │ ├── 15-75.cnf │ │ │ │ ├── 15-85.cnf │ │ │ │ ├── 25-80.cnf │ │ │ │ ├── 25-90.cnf │ │ │ │ ├── 5-25.cnf │ │ │ │ ├── 5-30.cnf │ │ │ │ ├── 5-40.cnf │ │ │ │ ├── 5-60.cnf │ │ │ │ ├── 5-65.cnf │ │ │ │ ├── 5-75.cnf │ │ │ │ ├── 5-80.cnf │ │ │ │ └── cnf │ │ ├── bench2 │ │ │ ├── sat │ │ │ │ ├── 100-2000.cnf │ │ │ │ ├── 100-2050.cnf │ │ │ │ ├── 100-2100.cnf │ │ │ │ ├── 100-2150.cnf │ │ │ │ ├── 100-2200.cnf │ │ │ │ ├── 140-2000.cnf │ │ │ │ ├── 160-2000.cnf │ │ │ │ ├── 160-2050.cnf │ │ │ │ ├── 160-2100.cnf │ │ │ │ ├── 160-2150.cnf │ │ │ │ ├── 160-2200.cnf │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── 120-2000.cnf │ │ │ │ ├── 120-2050.cnf │ │ │ │ ├── 120-2100.cnf │ │ │ │ ├── 120-2150.cnf │ │ │ │ ├── 120-2200.cnf │ │ │ │ ├── 140-2050.cnf │ │ │ │ ├── 140-2100.cnf │ │ │ │ ├── 140-2150.cnf │ │ │ │ ├── 140-2200.cnf │ │ │ │ ├── 180-2000.cnf │ │ │ │ ├── 180-2050.cnf │ │ │ │ ├── 180-2100.cnf │ │ │ │ ├── 180-2150.cnf │ │ │ │ ├── 180-2200.cnf │ │ │ │ └── cnf │ │ ├── bf │ │ │ ├── sat │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── bf0432-007.cnf │ │ │ │ ├── bf1355-075.cnf │ │ │ │ ├── bf1355-638.cnf │ │ │ │ ├── bf2670-001.cnf │ │ │ │ └── cnf │ │ ├── dubois │ │ │ ├── sat │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── cnf │ │ │ │ ├── dubois20.cnf │ │ │ │ ├── dubois21.cnf │ │ │ │ ├── dubois22.cnf │ │ │ │ ├── dubois23.cnf │ │ │ │ ├── dubois24.cnf │ │ │ │ ├── dubois25.cnf │ │ │ │ ├── dubois26.cnf │ │ │ │ ├── dubois27.cnf │ │ │ │ ├── dubois28.cnf │ │ │ │ ├── dubois29.cnf │ │ │ │ ├── dubois30.cnf │ │ │ │ └── dubois50.cnf │ │ ├── inductive-inference │ │ │ ├── sat │ │ │ │ ├── cnf │ │ │ │ ├── ii8a1.cnf │ │ │ │ ├── ii8a2.cnf │ │ │ │ ├── ii8a3.cnf │ │ │ │ ├── ii8a4.cnf │ │ │ │ ├── ii8b1.cnf │ │ │ │ ├── ii8b2.cnf │ │ │ │ ├── ii8b3.cnf │ │ │ │ ├── ii8b4.cnf │ │ │ │ ├── ii8c1.cnf │ │ │ │ ├── ii8c2.cnf │ │ │ │ ├── ii8d1.cnf │ │ │ │ ├── ii8d2.cnf │ │ │ │ ├── ii8e1.cnf │ │ │ │ └── ii8e2.cnf │ │ │ └── unsat │ │ │ │ └── cnf │ │ ├── jnh │ │ │ ├── sat │ │ │ │ ├── cnf │ │ │ │ ├── jnh1.cnf │ │ │ │ ├── jnh12.cnf │ │ │ │ ├── jnh17.cnf │ │ │ │ ├── jnh201.cnf │ │ │ │ ├── jnh204.cnf │ │ │ │ ├── jnh205.cnf │ │ │ │ ├── jnh207.cnf │ │ │ │ ├── jnh209.cnf │ │ │ │ ├── jnh210.cnf │ │ │ │ ├── jnh212.cnf │ │ │ │ ├── jnh213.cnf │ │ │ │ ├── jnh217.cnf │ │ │ │ ├── jnh218.cnf │ │ │ │ ├── jnh220.cnf │ │ │ │ ├── jnh301.cnf │ │ │ │ └── jnh7.cnf │ │ │ └── unsat │ │ │ │ ├── cnf │ │ │ │ ├── jnh10.cnf │ │ │ │ ├── jnh11.cnf │ │ │ │ ├── jnh13.cnf │ │ │ │ ├── jnh14.cnf │ │ │ │ ├── jnh15.cnf │ │ │ │ ├── jnh16.cnf │ │ │ │ ├── jnh18.cnf │ │ │ │ ├── jnh19.cnf │ │ │ │ ├── jnh2.cnf │ │ │ │ ├── jnh20.cnf │ │ │ │ ├── jnh202.cnf │ │ │ │ ├── jnh203.cnf │ │ │ │ ├── jnh206.cnf │ │ │ │ ├── jnh208.cnf │ │ │ │ ├── jnh211.cnf │ │ │ │ ├── jnh214.cnf │ │ │ │ ├── jnh215.cnf │ │ │ │ ├── jnh216.cnf │ │ │ │ ├── jnh219.cnf │ │ │ │ ├── jnh3.cnf │ │ │ │ ├── jnh302.cnf │ │ │ │ ├── jnh303.cnf │ │ │ │ ├── jnh304.cnf │ │ │ │ ├── jnh305.cnf │ │ │ │ ├── jnh306.cnf │ │ │ │ ├── jnh307.cnf │ │ │ │ ├── jnh308.cnf │ │ │ │ ├── jnh309.cnf │ │ │ │ ├── jnh310.cnf │ │ │ │ ├── jnh4.cnf │ │ │ │ ├── jnh5.cnf │ │ │ │ ├── jnh6.cnf │ │ │ │ ├── jnh8.cnf │ │ │ │ └── jnh9.cnf │ │ ├── parity │ │ │ ├── sat │ │ │ │ ├── cnf │ │ │ │ ├── par8-1-c.cnf │ │ │ │ ├── par8-1.cnf │ │ │ │ ├── par8-2-c.cnf │ │ │ │ ├── par8-2.cnf │ │ │ │ ├── par8-3-c.cnf │ │ │ │ ├── par8-3.cnf │ │ │ │ ├── par8-4-c.cnf │ │ │ │ ├── par8-4.cnf │ │ │ │ ├── par8-5-c.cnf │ │ │ │ └── par8-5.cnf │ │ │ └── unsat │ │ │ │ └── cnf │ │ ├── pigeon-hole │ │ │ ├── sat │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── cnf │ │ │ │ ├── hole6.cnf │ │ │ │ └── hole7.cnf │ │ ├── pret │ │ │ ├── sat │ │ │ │ └── cnf │ │ │ └── unsat │ │ │ │ ├── cnf │ │ │ │ ├── pret150_25.cnf │ │ │ │ ├── pret150_40.cnf │ │ │ │ ├── pret150_60.cnf │ │ │ │ ├── pret150_75.cnf │ │ │ │ ├── pret60_25.cnf │ │ │ │ ├── pret60_40.cnf │ │ │ │ ├── pret60_60.cnf │ │ │ │ └── pret60_75.cnf │ │ ├── sat09 │ │ │ ├── sat │ │ │ │ ├── Q3inK08.cnf │ │ │ │ ├── Q3inK09.cnf │ │ │ │ ├── Q3inK10.cnf │ │ │ │ ├── cnf │ │ │ │ ├── instance_n3_i3_pp.cnf │ │ │ │ ├── instance_n3_i3_pp_ci_ce.cnf │ │ │ │ ├── satsgi-n17himBHm20-p0-q146.cnf │ │ │ │ ├── satsgi-n18himBHm21-p0-q167.cnf │ │ │ │ ├── satsgi-n19himBHm22-p0-q181.cnf │ │ │ │ ├── satsgi-n22himBHm24-p0-q209.cnf │ │ │ │ ├── satsgi-n22himBHm25-p0-q229.cnf │ │ │ │ ├── satsgi-n23himBHm25-p0-q219.cnf │ │ │ │ ├── satsgi-n23himBHm26-p0-q248.cnf │ │ │ │ ├── satsgi-n23himBHm27-p0-q251.cnf │ │ │ │ ├── satsgi-n25himBHm27-p0-q251.cnf │ │ │ │ ├── satsgi-n25himBHm29-p0-q290.cnf │ │ │ │ ├── satsgi-n28himBHm30-p0-q333.cnf │ │ │ │ ├── sgi-difficult4.cnf │ │ │ │ └── sgi-difficult7.cnf │ │ │ └── unsat │ │ │ │ ├── cnf │ │ │ │ ├── instance_n2_i2_pp.cnf │ │ │ │ └── instance_n2_i3_pp.cnf │ │ └── ssa │ │ │ ├── sat │ │ │ ├── cnf │ │ │ ├── ssa7552-038.cnf │ │ │ ├── ssa7552-158.cnf │ │ │ ├── ssa7552-159.cnf │ │ │ └── ssa7552-160.cnf │ │ │ └── unsat │ │ │ ├── cnf │ │ │ ├── ssa0432-003.cnf │ │ │ ├── ssa2670-130.cnf │ │ │ ├── ssa2670-141.cnf │ │ │ └── ssa6288-047.cnf │ ├── cdcl_proof.ml │ ├── cdcl_sat.ml │ ├── cdcl_unsat.ml │ ├── dpll_proof.ml │ ├── dpll_sat.ml │ ├── dpll_unsat.ml │ ├── dune │ └── test_solver.ml │ └── z4.png └── tutorials ├── 01-dafny └── demo.dfy ├── 02-ocaml └── demo.ml ├── 03-ocaml └── demo.ml └── coq └── Script.v /.gitignore: -------------------------------------------------------------------------------- 1 | **/_build/ 2 | .DS_Store 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/README.md -------------------------------------------------------------------------------- /TALK.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/TALK.md -------------------------------------------------------------------------------- /code/.DS_Store: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/.DS_Store -------------------------------------------------------------------------------- /code/abs.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/abs.dfy -------------------------------------------------------------------------------- /code/block.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/block.rkt -------------------------------------------------------------------------------- /code/debug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/debug.rkt -------------------------------------------------------------------------------- /code/fib.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/fib.dfy -------------------------------------------------------------------------------- /code/lec1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/lec1.rkt -------------------------------------------------------------------------------- /code/loopinv.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/loopinv.dfy -------------------------------------------------------------------------------- /code/no-uf.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/no-uf.smt2 -------------------------------------------------------------------------------- /code/optimize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/optimize.rkt -------------------------------------------------------------------------------- /code/prepost.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/prepost.dfy -------------------------------------------------------------------------------- /code/solve.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/solve.rkt -------------------------------------------------------------------------------- /code/synth.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/synth.rkt -------------------------------------------------------------------------------- /code/verify.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/verify.rkt -------------------------------------------------------------------------------- /code/yes-uf.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/code/yes-uf.smt2 -------------------------------------------------------------------------------- /homework/hw1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw1/README.md -------------------------------------------------------------------------------- /homework/hw1/binary_search.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw1/binary_search.dfy -------------------------------------------------------------------------------- /homework/hw1/bubble_sort.dfy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /homework/hw1/min.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw1/min.dfy -------------------------------------------------------------------------------- /homework/hw2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw2/README.md -------------------------------------------------------------------------------- /homework/hw2/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw2/install.md -------------------------------------------------------------------------------- /homework/hw3/Basics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw3/Basics.v -------------------------------------------------------------------------------- /homework/hw3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw3/README.md -------------------------------------------------------------------------------- /homework/hw3/Ubool.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw3/Ubool.v -------------------------------------------------------------------------------- /homework/hw3/image.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw3/image.png -------------------------------------------------------------------------------- /homework/hw4/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw4/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /homework/hw4/HW4Extra.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw4/HW4Extra.v -------------------------------------------------------------------------------- /homework/hw4/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw4/README.md -------------------------------------------------------------------------------- /homework/hw4/self-grading.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /homework/hw5/HW5Extra.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw5/HW5Extra.v -------------------------------------------------------------------------------- /homework/hw5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw5/README.md -------------------------------------------------------------------------------- /homework/hw5/self-grading.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /homework/hw6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/homework/hw6/README.md -------------------------------------------------------------------------------- /homework/hw6/self-grading.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lectures/lecture1.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture1.key -------------------------------------------------------------------------------- /lectures/lecture1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture1.pdf -------------------------------------------------------------------------------- /lectures/lecture10.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture10.key -------------------------------------------------------------------------------- /lectures/lecture10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture10.pdf -------------------------------------------------------------------------------- /lectures/lecture11.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture11.key -------------------------------------------------------------------------------- /lectures/lecture11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture11.pdf -------------------------------------------------------------------------------- /lectures/lecture13.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture13.pdf -------------------------------------------------------------------------------- /lectures/lecture2.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture2.key -------------------------------------------------------------------------------- /lectures/lecture2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture2.pdf -------------------------------------------------------------------------------- /lectures/lecture3.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture3.key -------------------------------------------------------------------------------- /lectures/lecture3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture3.pdf -------------------------------------------------------------------------------- /lectures/lecture4.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture4.key -------------------------------------------------------------------------------- /lectures/lecture4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture4.pdf -------------------------------------------------------------------------------- /lectures/lecture5.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture5.key -------------------------------------------------------------------------------- /lectures/lecture5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture5.pdf -------------------------------------------------------------------------------- /lectures/lecture6.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture6.key -------------------------------------------------------------------------------- /lectures/lecture6.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture6.pdf -------------------------------------------------------------------------------- /lectures/lecture7.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture7.key -------------------------------------------------------------------------------- /lectures/lecture7.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture7.pdf -------------------------------------------------------------------------------- /lectures/lecture8.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture8.key -------------------------------------------------------------------------------- /lectures/lecture8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture8.pdf -------------------------------------------------------------------------------- /lectures/lecture9.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture9.key -------------------------------------------------------------------------------- /lectures/lecture9.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/lectures/lecture9.pdf -------------------------------------------------------------------------------- /projects/final/final-a/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/README.md -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b1.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b2.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b3.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b4.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b5.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b5.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b6.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b6.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b7.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b7.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b8.rs -------------------------------------------------------------------------------- /projects/final/final-a/benchmarks/b9.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-a/benchmarks/b9.rs -------------------------------------------------------------------------------- /projects/final/final-b/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/README.md -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b1.py -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b2.py -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b3.py -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b4.py -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b5.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b5.py -------------------------------------------------------------------------------- /projects/final/final-b/benchmarks/b6.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/final/final-b/benchmarks/b6.py -------------------------------------------------------------------------------- /projects/proj1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/Makefile -------------------------------------------------------------------------------- /projects/proj1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/README.md -------------------------------------------------------------------------------- /projects/proj1/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/bin/dune -------------------------------------------------------------------------------- /projects/proj1/bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/bin/main.ml -------------------------------------------------------------------------------- /projects/proj1/binary_search.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/binary_search.dfy -------------------------------------------------------------------------------- /projects/proj1/bubble_sort.dfy: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj1/difny.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/difny.png -------------------------------------------------------------------------------- /projects/proj1/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/dune-project -------------------------------------------------------------------------------- /projects/proj1/lib/desugar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/desugar.ml -------------------------------------------------------------------------------- /projects/proj1/lib/desugar.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/desugar.mli -------------------------------------------------------------------------------- /projects/proj1/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/dune -------------------------------------------------------------------------------- /projects/proj1/lib/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/eval.ml -------------------------------------------------------------------------------- /projects/proj1/lib/iarray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/iarray.ml -------------------------------------------------------------------------------- /projects/proj1/lib/lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/lang.ml -------------------------------------------------------------------------------- /projects/proj1/lib/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/lexer.mll -------------------------------------------------------------------------------- /projects/proj1/lib/menhir_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/menhir_parser.mly -------------------------------------------------------------------------------- /projects/proj1/lib/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/parser.ml -------------------------------------------------------------------------------- /projects/proj1/lib/pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/pretty.ml -------------------------------------------------------------------------------- /projects/proj1/lib/pretty.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/pretty.mli -------------------------------------------------------------------------------- /projects/proj1/lib/smt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/smt.ml -------------------------------------------------------------------------------- /projects/proj1/lib/smt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/smt.mli -------------------------------------------------------------------------------- /projects/proj1/lib/todo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/todo.ml -------------------------------------------------------------------------------- /projects/proj1/lib/verify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/verify.ml -------------------------------------------------------------------------------- /projects/proj1/lib/verify.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/lib/verify.mli -------------------------------------------------------------------------------- /projects/proj1/min.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/min.dfy -------------------------------------------------------------------------------- /projects/proj1/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/dune -------------------------------------------------------------------------------- /projects/proj1/test/public/bench.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/bench.csv -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/binary_search.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search.dfy.expected: -------------------------------------------------------------------------------- 1 | BinarySearch: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search2.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/binary_search2.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search2.dfy.expected: -------------------------------------------------------------------------------- 1 | BinarySearch: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search_bad1.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/binary_search_bad1.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search_bad1.dfy.expected: -------------------------------------------------------------------------------- 1 | BinarySearch: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search_bad2.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/binary_search_bad2.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/binary_search_bad2.dfy.expected: -------------------------------------------------------------------------------- 1 | BinarySearch: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/even_odd.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/even_odd.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/even_odd.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/even_odd.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/even_odd_bad.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/even_odd_bad.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/even_odd_bad.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/even_odd_bad.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/fib.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fib.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fib.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_arr.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fib_arr.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_arr.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_arr_bad.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fib_arr_bad.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_arr_bad.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_diverge.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fib_diverge.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fib_diverge.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_args.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_args.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args2.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_args2.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args2.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args3.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_args3.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_args3.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_ret.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_ret.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret2.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_ret2.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret2.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_ret2.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret3.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/fn_ret3.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/fn_ret3.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/map_min.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/map_min.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/map_min.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/map_min.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/map_min_bad.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/map_min_bad.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/map_min_bad.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/map_min_bad.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/max.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/max.dfy.expected: -------------------------------------------------------------------------------- 1 | Max: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_arr.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr_rec.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_arr_rec.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr_rec.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_arr_rec.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr_rec_bad.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_arr_rec_bad.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/max_arr_rec_bad.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_arr_rec_bad.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/max_fn.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/max_fn.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/max_fn.dfy.expected: -------------------------------------------------------------------------------- 1 | Max: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/min2d.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/min2d.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/min2d.dfy.expected: -------------------------------------------------------------------------------- 1 | min2d: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/mul.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/mul.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/mul.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_arr.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/mul_arr.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_arr.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_arr_fn.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/mul_arr_fn.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_arr_fn.dfy.expected: -------------------------------------------------------------------------------- 1 | Mul: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_fn.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/mul_fn.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/mul_fn.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/rand.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/rand.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/rand.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/rand.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/test.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/test.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/test.dfy.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/test.dfy.expected -------------------------------------------------------------------------------- /projects/proj1/test/public/while1d.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/while1d.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/while1d.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/while2d.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/while2d.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/while2d.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/while2d_weak.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/while2d_weak.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/while2d_weak.dfy.expected: -------------------------------------------------------------------------------- 1 | Test: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/while_false.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/while_false.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/while_false.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: not verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/public/while_true.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/public/while_true.dfy -------------------------------------------------------------------------------- /projects/proj1/test/public/while_true.dfy.expected: -------------------------------------------------------------------------------- 1 | Main: verified 2 | -------------------------------------------------------------------------------- /projects/proj1/test/test_proj1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj1/test/test_proj1.ml -------------------------------------------------------------------------------- /projects/proj2/.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/.ocamlformat -------------------------------------------------------------------------------- /projects/proj2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/Makefile -------------------------------------------------------------------------------- /projects/proj2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/README.md -------------------------------------------------------------------------------- /projects/proj2/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/bin/dune -------------------------------------------------------------------------------- /projects/proj2/bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/bin/main.ml -------------------------------------------------------------------------------- /projects/proj2/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/dune-project -------------------------------------------------------------------------------- /projects/proj2/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/dune -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/clause.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/clause.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/clause.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/clause.mli -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/description.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/description.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/description.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/description.mli -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/dimacs_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/dimacs_parser.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/dune -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/eval.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/eval.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/eval.mli -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/formula.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/formula.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/formula.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/formula.mli -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/lit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/lit.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/lit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/lit.mli -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/menhir_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/menhir_parser.mly -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/scanner.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/scanner.mll -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/var.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/var.ml -------------------------------------------------------------------------------- /projects/proj2/lib/frontend/var.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/frontend/var.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/assign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/assign.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/assign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/assign.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/bcp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/bcp.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/bcp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/bcp.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/cdcl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/cdcl.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/cdcl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/cdcl.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/dpll.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/dpll.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/dpll.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/dpll.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/dune -------------------------------------------------------------------------------- /projects/proj2/lib/solver/heuristics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/heuristics.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/heuristics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/heuristics.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/proof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/proof.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/proof.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/proof.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/script.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/script.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/script.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/script.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/solution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/solution.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/solution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/solution.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/state.ml -------------------------------------------------------------------------------- /projects/proj2/lib/solver/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/state.mli -------------------------------------------------------------------------------- /projects/proj2/lib/solver/todo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/solver/todo.ml -------------------------------------------------------------------------------- /projects/proj2/lib/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/lib/utils.ml -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-100-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-200-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-1_6-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-2_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-3_4-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/aim-50-6_0-yes1-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-1_6-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-100-2_0-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-1_6-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-200-2_0-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-1_6-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/aim-50-2_0-no-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/aim/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/aim/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench.csv -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench0/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/sat/par8-1-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench0/sat/par8-1-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/sat/quinn.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench0/sat/quinn.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/sat/simple_v3_c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench0/sat/simple_v3_c2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/sat/zebra_v155_c1135.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench0/sat/zebra_v155_c1135.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench0/unsat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/10-25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/10-25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/15-20.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/15-20.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/15-25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/15-25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/15-30.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/15-30.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/20-40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/20-40.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/20-65.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/20-65.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/20-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/20-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/20-90.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/20-90.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/25-45.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/25-45.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/25-50.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/25-50.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/30-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/30-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/35-85.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/35-85.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/40-100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/40-100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/40-45.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/40-45.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/40-60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/40-60.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/45-90.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/45-90.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/50-60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/50-60.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/50-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/50-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/50-95.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/50-95.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/55-95.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/55-95.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/60-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/60-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/60-90.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/60-90.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/65-90.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/65-90.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/70-100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/70-100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/70-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/70-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/75-100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/75-100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/75-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/75-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-35.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-35.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-40.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-45.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-45.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-55.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-55.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/10-95.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/10-95.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/15-50.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/15-50.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/15-55.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/15-55.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/15-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/15-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/15-85.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/15-85.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/25-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/25-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/25-90.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/25-90.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-30.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-30.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-40.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-60.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-65.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-65.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/5-80.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/5-80.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench1/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench1/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/100-2000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/100-2000.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/100-2050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/100-2050.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/100-2100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/100-2100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/100-2150.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/100-2150.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/100-2200.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/100-2200.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/140-2000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/140-2000.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/160-2000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/160-2000.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/160-2050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/160-2050.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/160-2100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/160-2100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/160-2150.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/160-2150.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/160-2200.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/160-2200.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/120-2000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/120-2000.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/120-2050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/120-2050.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/120-2100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/120-2100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/120-2150.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/120-2150.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/120-2200.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/120-2200.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/140-2050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/140-2050.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/140-2100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/140-2100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/140-2150.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/140-2150.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/140-2200.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/140-2200.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/180-2000.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/180-2000.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/180-2050.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/180-2050.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/180-2100.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/180-2100.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/180-2150.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/180-2150.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/180-2200.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/180-2200.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bench2/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bench2/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/sat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/unsat/bf0432-007.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bf/unsat/bf0432-007.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/unsat/bf1355-075.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bf/unsat/bf1355-075.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/unsat/bf1355-638.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bf/unsat/bf1355-638.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/unsat/bf2670-001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bf/unsat/bf2670-001.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/bf/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/bf/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/sat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois20.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois20.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois21.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois21.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois22.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois22.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois23.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois23.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois24.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois24.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois26.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois26.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois27.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois27.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois28.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois28.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois29.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois29.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois30.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois30.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/dubois/unsat/dubois50.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/dubois/unsat/dubois50.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8a1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8a1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8a2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8a2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8a3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8a3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8a4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8a4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8b1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8b1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8b2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8b2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8b3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8b3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8b4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8b4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8c1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8c1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8c2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8c2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8d1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8d1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8d2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8d2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8e1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8e1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/sat/ii8e2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/inductive-inference/sat/ii8e2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/inductive-inference/unsat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh12.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh12.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh17.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh17.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh201.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh201.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh204.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh204.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh205.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh205.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh207.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh207.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh209.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh209.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh210.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh210.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh212.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh212.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh213.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh213.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh217.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh217.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh218.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh218.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh220.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh220.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh301.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh301.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/sat/jnh7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/sat/jnh7.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh10.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh11.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh11.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh13.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh13.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh14.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh14.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh15.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh15.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh16.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh16.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh18.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh18.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh19.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh19.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh20.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh20.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh202.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh202.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh203.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh203.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh206.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh206.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh208.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh208.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh211.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh211.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh214.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh214.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh215.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh215.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh216.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh216.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh219.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh219.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh302.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh302.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh303.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh303.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh304.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh304.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh305.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh305.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh306.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh306.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh307.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh307.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh308.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh308.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh309.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh309.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh310.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh310.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh5.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh6.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh8.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/jnh/unsat/jnh9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/jnh/unsat/jnh9.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-1-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-1-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-1.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-2-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-2-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-2.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-3-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-3-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-3.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-4-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-4-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-5-c.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-5-c.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/sat/par8-5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/parity/sat/par8-5.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/parity/unsat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/pigeon-hole/sat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/pigeon-hole/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pigeon-hole/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pigeon-hole/unsat/hole6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pigeon-hole/unsat/hole6.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pigeon-hole/unsat/hole7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pigeon-hole/unsat/hole7.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/sat/cnf: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret150_25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret150_25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret150_40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret150_40.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret150_60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret150_60.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret150_75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret150_75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret60_25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret60_25.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret60_40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret60_40.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret60_60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret60_60.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/pret/unsat/pret60_75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/pret/unsat/pret60_75.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/Q3inK08.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/Q3inK08.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/Q3inK09.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/Q3inK09.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/Q3inK10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/Q3inK10.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/instance_n3_i3_pp.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/instance_n3_i3_pp.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/instance_n3_i3_pp_ci_ce.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/instance_n3_i3_pp_ci_ce.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n17himBHm20-p0-q146.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n17himBHm20-p0-q146.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n18himBHm21-p0-q167.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n18himBHm21-p0-q167.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n19himBHm22-p0-q181.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n19himBHm22-p0-q181.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n22himBHm24-p0-q209.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n22himBHm24-p0-q209.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n22himBHm25-p0-q229.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n22himBHm25-p0-q229.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm25-p0-q219.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm25-p0-q219.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm26-p0-q248.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm26-p0-q248.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm27-p0-q251.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n23himBHm27-p0-q251.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n25himBHm27-p0-q251.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n25himBHm27-p0-q251.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n25himBHm29-p0-q290.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n25himBHm29-p0-q290.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/satsgi-n28himBHm30-p0-q333.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/satsgi-n28himBHm30-p0-q333.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/sgi-difficult4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/sgi-difficult4.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/sat/sgi-difficult7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/sat/sgi-difficult7.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/unsat/instance_n2_i2_pp.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/unsat/instance_n2_i2_pp.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/sat09/unsat/instance_n2_i3_pp.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/sat09/unsat/instance_n2_i3_pp.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/sat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/sat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/sat/ssa7552-038.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/sat/ssa7552-038.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/sat/ssa7552-158.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/sat/ssa7552-158.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/sat/ssa7552-159.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/sat/ssa7552-159.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/sat/ssa7552-160.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/sat/ssa7552-160.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/unsat/cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/unsat/cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/unsat/ssa0432-003.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/unsat/ssa0432-003.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/unsat/ssa2670-130.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/unsat/ssa2670-130.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/unsat/ssa2670-141.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/unsat/ssa2670-141.cnf -------------------------------------------------------------------------------- /projects/proj2/test/bench/ssa/unsat/ssa6288-047.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/bench/ssa/unsat/ssa6288-047.cnf -------------------------------------------------------------------------------- /projects/proj2/test/cdcl_proof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/cdcl_proof.ml -------------------------------------------------------------------------------- /projects/proj2/test/cdcl_sat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/cdcl_sat.ml -------------------------------------------------------------------------------- /projects/proj2/test/cdcl_unsat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/cdcl_unsat.ml -------------------------------------------------------------------------------- /projects/proj2/test/dpll_proof.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/dpll_proof.ml -------------------------------------------------------------------------------- /projects/proj2/test/dpll_sat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/dpll_sat.ml -------------------------------------------------------------------------------- /projects/proj2/test/dpll_unsat.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/dpll_unsat.ml -------------------------------------------------------------------------------- /projects/proj2/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/dune -------------------------------------------------------------------------------- /projects/proj2/test/test_solver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/test/test_solver.ml -------------------------------------------------------------------------------- /projects/proj2/z4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/projects/proj2/z4.png -------------------------------------------------------------------------------- /tutorials/01-dafny/demo.dfy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/tutorials/01-dafny/demo.dfy -------------------------------------------------------------------------------- /tutorials/02-ocaml/demo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/tutorials/02-ocaml/demo.ml -------------------------------------------------------------------------------- /tutorials/03-ocaml/demo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/tutorials/03-ocaml/demo.ml -------------------------------------------------------------------------------- /tutorials/coq/Script.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fredfeng/CS292C/HEAD/tutorials/coq/Script.v --------------------------------------------------------------------------------