├── .gitignore ├── .travis.yml ├── LICENSE.txt ├── Makefile.in ├── README.md ├── _config.yml ├── cadet.xcodeproj └── project.pbxproj ├── certtools ├── and.qdimacs ├── caqecertprove.sh ├── certshow.sh ├── experiments │ ├── random.txt │ ├── run_cadet.sh │ └── run_depqbf.sh ├── functionalshow.sh ├── or.qdimacs ├── projshow.sh ├── projshowpure.sh ├── qbfcertprove.sh └── showpurecert.sh ├── configure ├── debug ├── qbfdd-1.2.2 │ ├── COPYING │ ├── README │ └── qbfdd.py └── qbfuzz-1.1.1 │ ├── COPYING │ ├── README │ └── qbfuzz.py ├── integration-tests ├── 116_SAT.qdimacs ├── 16966_UNSAT.qdimacs ├── 1_SAT.dimacs ├── 2_UNSAT.dimacs ├── 341_SAT.qdimacs ├── 349_SAT.qdimacs ├── 3_UNSAT.dimacs ├── 4_UNSAT.dimacs ├── 5_SAT.dimacs ├── 6061_SAT.qdimacs ├── 826_SAT.qdimacs ├── 888_SAT.qdimacs ├── BLOCKS4iii.7.qdimacs.txt ├── C499.blif_0.10_0.20_0_0_inp_exact.qdimacs ├── a2r.qdimacs ├── adder2.qdimacs ├── arbiter-05-comp-error01-qbf-hardness-depth-6.qdimacs.txt ├── arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs ├── arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs.txt ├── arbiter-07-comp-error01-qbf-hardness-depth-4.qdimacs ├── arbiter-07-comp-error01-qbf-hardness-depth-9.qdimacs ├── arbiter_bug2.qdimacs ├── arbiter_reduced.qdimacs ├── asdf2.qdimacs ├── asdf4_reduced.qdimacs ├── asdf_reduced.qdimacs ├── b17-4.qdimacs ├── b17-4r.qdimacs ├── biu.qdimacs ├── biu_manual.qdimacs ├── biubug.qdimacs ├── blocks_reduced.qdimacs ├── br.qdimacs ├── br3_reduced.qdimacs ├── brrr.qdimacs ├── bug1.qdimacs ├── bug10rr.qdimacs ├── bug10rrr.qdimacs ├── bug17.qdimacs ├── bug3.qdimacs ├── bug5.qdimacs ├── bug6.qdimacs ├── bug6_reduced.qdimacs ├── bug6rr.qdimacs ├── bug6rrmod.qdimacs ├── bug7.qdimacs ├── bug8.qdimacs ├── bug9.qdimacs ├── bug_abort.qdimacs ├── bug_diverge.qdimacs ├── bug_diverge2.qdimacs ├── bug_lights.qdimacs ├── bug_refinement.qdimacs ├── bug_refinement_reduced2.qdimacs ├── c1_BMC_p1_k8.qdimacs ├── c3_BMC_p1_k256.qdimacs ├── c5_BMC_p1_k4.qdimacs ├── constants_and_elimination.qdimacs ├── driverlog09_8.qdimacs ├── driverlog10_7.qdimacs ├── dungeon_i15-m75-u10-v0.pddl_planlen=4.qdimacs ├── dungeon_i25-m125-u3-v0.pddl_planlen=13.bloqqer.qdimacs ├── dungeon_i25-m125-u3-v0.pddl_planlen=13.qdimacs ├── dungeon_i25-m125-u3-v0.pddl_planlen=14.qdimacs ├── eequery_query04_1344n.qdimacs ├── eequery_query04_1344n.qdimacs.txt ├── eequery_query04_1344n_reduced.qdimacs ├── eequery_query04_1344nqdimacs_reduced.txt ├── eer.qdimacs ├── eerr.qdimacs ├── empty_clause.qdimacs ├── equal.qdimacs ├── equal_hidden.qdimacs ├── equality_hidden.qdimacs ├── err.qdimacs ├── ev-pr-4x4-5-3-0-0-1-s.qdimacs ├── ev-pr-4x4-7-3-0-0-1-s.qdimacs ├── example.qdimacs ├── false.qdimacs ├── frrr.qdimacs ├── fuzz.qdimacs ├── fuzz1.qdimacs ├── fuzz10825.qdimacs ├── fuzz10825_reduced.qdimacs ├── fuzz12668_reduced.qdimacs ├── fuzz12891.qdimacs ├── fuzz1380_reduced.qdimacs ├── fuzz14807_reduced.qdimacs ├── fuzz17061.qdimacs ├── fuzz19494_reduced.qdimacs ├── fuzz19959.qdimacs ├── fuzz22644.qdimacs ├── fuzz23979_reduced.qdimacs ├── fuzz24003_reduced.qdimacs ├── fuzz24330.qdimacs ├── fuzz25823.qdimacs ├── fuzz606.qdimacs ├── fuzz7300.qdimacs ├── fuzz9716.qdimacs ├── illegal_dependence_conflict.qdimacs ├── illegal_dependence_conflict2.qdimacs ├── incomplete_or.qdimacs ├── instances.txt ├── k_ph_n-16.qdimacs ├── lights.qdimacs ├── lights3_021_0_009.qdimacs ├── lights3_021_0_013.qdimacs ├── mb3.qdimacs ├── mb3_reduced.qdimacs ├── miniTest78_reduced.qdimacs ├── miniTestb267_reduced.qdimacs ├── miniTestb267rr.qdimacs ├── miniTestb267rr2.qdimacs ├── miniTestb282_reduced.qdimacs ├── mvs.qdimacs ├── mvsr.qdimacs ├── mvsr3_reduced.qdimacs ├── or_blocked.qdimacs ├── or_hidden.qdimacs ├── p10-1.pddl_planlen=4.qdimacs.txt ├── p10-5.pddl_planlen=19.qdimacs ├── p5-5.pddl_planlen=2.qdimacs ├── partition.qdimacs ├── partition2.qdimacs ├── pec_adder_32bit_sat.qdimacs ├── pec_adder_32bit_sat_reduced.qdimacs ├── pec_adder_sat.qdimacs ├── pec_adder_unsat.mod.qdimacs ├── pec_adder_unsat.prop.qdimacs ├── pec_adder_unsat.qdimacs ├── pec_adder_unsat.simp.qdimacs ├── pec_adder_unsat_reduced.qdimacs ├── pec_adder_unsat_reduced2.qdimacs ├── pec_example_circuit_6_2_2_reduced.qdimacs ├── projection_error2.qdimacs ├── propagation_sat.qdimacs ├── qaiger │ ├── and.qaig │ ├── and_latch.qaig │ ├── beem.qaig │ ├── beem8.aag │ ├── bob12s05_c0to7.aag │ ├── equiv.qaig │ ├── hwmmc.qaig │ ├── ltl2dba_C2-6_comp2_REAL.aag │ ├── ltl2dba_U1-6_comp3_REAL.aag │ └── or.qaig ├── rareqs_paper_example.qdimacs ├── rf28rr.qdimacs ├── rf_reduced.qdimacs ├── s05378_PR_7_2.qdimacs.txt ├── s1269_d2_s.qdimacs ├── s15850_PR_5_90.qdimacs ├── s38584_PR_1_2.qdimacs ├── s5378_1_0.qdimacs ├── s713_d4_s.qdimacs ├── segfault.qdimacs ├── segfault2.qdimacs ├── simple_sat.qdimacs ├── simple_seperated.qdimacs ├── sns53_reduced.qdimacs ├── sns56rrr.qdimacs ├── sorting_network_4_5_reduced.qdimacs ├── sorting_network_4_5_rr.qdimacs ├── sortnetsort5AEstepl003_reduced.qdimacs ├── stmt21_4_5_reduced.qdimacs ├── stmt21r4.qdimacs ├── stmt21rr.qdimacs ├── stmt27_149_224.qdimacs.txt ├── stmt27rrr.qdimacs ├── stmt5rr.qdimacs ├── stmt7rr.qdimacs ├── test_implications.qdimacs ├── test_sat.qdimacs ├── test_unsat.qdimacs ├── tmp-47850_reduced.qdimacs └── true.qdimacs ├── scripts ├── bloqqer.sh ├── cactus.py ├── command.py ├── diff.py ├── equiscript2.sh ├── equiscript3.sh ├── fuzzabort.sh ├── fuzzcript.sh ├── reporting.py ├── run.py └── tester.py └── src ├── active_clause_iterator.c ├── aiger.c ├── aiger.h ├── aiger_utils.c ├── aiger_utils.h ├── bit_vector.c ├── bit_vector.h ├── c2_casesplits_control.c ├── c2_clause_minimization.c ├── c2_rl.c ├── c2_rl.h ├── c2_simplify.c ├── c2_traces.c ├── c2_traces.h ├── c2_validate.c ├── c2_validate.h ├── cadet2.c ├── cadet2.h ├── cadet_internal.h ├── casesplits.c ├── casesplits.h ├── cegar.c ├── certify.h ├── certify_SAT.c ├── certify_UNSAT.c ├── certify_validate.c ├── conflict_analysis.c ├── conflict_analysis.h ├── debug.c ├── debug.h ├── examples.c ├── examples.h ├── float_vector.c ├── float_vector.h ├── heap.c ├── heap.h ├── int_vector.c ├── int_vector.h ├── lingeling ├── COPYING ├── VERSION ├── lglconst.h ├── lglib.c ├── lglib.h ├── lgloptl.h ├── lglopts.c └── lglopts.h ├── log.c ├── log.h ├── main.c ├── map.c ├── map.h ├── mersenne_twister.c ├── mersenne_twister.h ├── options.c ├── options.h ├── parse.c ├── partial_assignment.c ├── partial_assignment.h ├── partitions.c ├── picosat.c ├── picosat.h ├── pqueue.c ├── pqueue.h ├── qcnf.c ├── qcnf.h ├── qcnf_variable_names.c ├── qipasir.c ├── qipasir.h ├── qipasir_parser.c ├── qipasir_parser.h ├── satsolver.h ├── satsolver_cryptominisat.cpp ├── satsolver_lingeling_assumptions.c ├── satsolver_minisat.cc ├── satsolver_picosat.c ├── satsolver_picosat_assumptions.c ├── set.c ├── set.h ├── skolem.c ├── skolem.h ├── skolem_conflict_analysis.c ├── skolem_dependencies.c ├── skolem_dependencies.h ├── skolem_var.c ├── skolem_var.h ├── skolem_var_vector.c ├── skolem_var_vector.h ├── statistics.c ├── statistics.h ├── tests.c ├── tests.h ├── undo_stack.c ├── undo_stack.h ├── util.c ├── util.h ├── val_vector.c ├── val_vector.h ├── var_vector.c ├── var_vector.h ├── vector.c └── vector.h /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/Makefile.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/_config.yml -------------------------------------------------------------------------------- /cadet.xcodeproj/project.pbxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/cadet.xcodeproj/project.pbxproj -------------------------------------------------------------------------------- /certtools/and.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/and.qdimacs -------------------------------------------------------------------------------- /certtools/caqecertprove.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/caqecertprove.sh -------------------------------------------------------------------------------- /certtools/certshow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/certshow.sh -------------------------------------------------------------------------------- /certtools/experiments/random.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/experiments/random.txt -------------------------------------------------------------------------------- /certtools/experiments/run_cadet.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/experiments/run_cadet.sh -------------------------------------------------------------------------------- /certtools/experiments/run_depqbf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/experiments/run_depqbf.sh -------------------------------------------------------------------------------- /certtools/functionalshow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/functionalshow.sh -------------------------------------------------------------------------------- /certtools/or.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/or.qdimacs -------------------------------------------------------------------------------- /certtools/projshow.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/projshow.sh -------------------------------------------------------------------------------- /certtools/projshowpure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/projshowpure.sh -------------------------------------------------------------------------------- /certtools/qbfcertprove.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/qbfcertprove.sh -------------------------------------------------------------------------------- /certtools/showpurecert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/certtools/showpurecert.sh -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/configure -------------------------------------------------------------------------------- /debug/qbfdd-1.2.2/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfdd-1.2.2/COPYING -------------------------------------------------------------------------------- /debug/qbfdd-1.2.2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfdd-1.2.2/README -------------------------------------------------------------------------------- /debug/qbfdd-1.2.2/qbfdd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfdd-1.2.2/qbfdd.py -------------------------------------------------------------------------------- /debug/qbfuzz-1.1.1/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfuzz-1.1.1/COPYING -------------------------------------------------------------------------------- /debug/qbfuzz-1.1.1/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfuzz-1.1.1/README -------------------------------------------------------------------------------- /debug/qbfuzz-1.1.1/qbfuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/debug/qbfuzz-1.1.1/qbfuzz.py -------------------------------------------------------------------------------- /integration-tests/116_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/116_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/16966_UNSAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/16966_UNSAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/1_SAT.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/1_SAT.dimacs -------------------------------------------------------------------------------- /integration-tests/2_UNSAT.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/2_UNSAT.dimacs -------------------------------------------------------------------------------- /integration-tests/341_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/341_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/349_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/349_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/3_UNSAT.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/3_UNSAT.dimacs -------------------------------------------------------------------------------- /integration-tests/4_UNSAT.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/4_UNSAT.dimacs -------------------------------------------------------------------------------- /integration-tests/5_SAT.dimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/5_SAT.dimacs -------------------------------------------------------------------------------- /integration-tests/6061_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/6061_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/826_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/826_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/888_SAT.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/888_SAT.qdimacs -------------------------------------------------------------------------------- /integration-tests/BLOCKS4iii.7.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/BLOCKS4iii.7.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/C499.blif_0.10_0.20_0_0_inp_exact.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/C499.blif_0.10_0.20_0_0_inp_exact.qdimacs -------------------------------------------------------------------------------- /integration-tests/a2r.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/a2r.qdimacs -------------------------------------------------------------------------------- /integration-tests/adder2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/adder2.qdimacs -------------------------------------------------------------------------------- /integration-tests/arbiter-05-comp-error01-qbf-hardness-depth-6.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter-05-comp-error01-qbf-hardness-depth-6.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs -------------------------------------------------------------------------------- /integration-tests/arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter-06-comp-error02-qbf-hardness-depth-4.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/arbiter-07-comp-error01-qbf-hardness-depth-4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter-07-comp-error01-qbf-hardness-depth-4.qdimacs -------------------------------------------------------------------------------- /integration-tests/arbiter-07-comp-error01-qbf-hardness-depth-9.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter-07-comp-error01-qbf-hardness-depth-9.qdimacs -------------------------------------------------------------------------------- /integration-tests/arbiter_bug2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter_bug2.qdimacs -------------------------------------------------------------------------------- /integration-tests/arbiter_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/arbiter_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/asdf2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/asdf2.qdimacs -------------------------------------------------------------------------------- /integration-tests/asdf4_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/asdf4_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/asdf_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/asdf_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/b17-4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/b17-4.qdimacs -------------------------------------------------------------------------------- /integration-tests/b17-4r.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/b17-4r.qdimacs -------------------------------------------------------------------------------- /integration-tests/biu.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/biu.qdimacs -------------------------------------------------------------------------------- /integration-tests/biu_manual.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/biu_manual.qdimacs -------------------------------------------------------------------------------- /integration-tests/biubug.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/biubug.qdimacs -------------------------------------------------------------------------------- /integration-tests/blocks_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/blocks_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/br.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/br.qdimacs -------------------------------------------------------------------------------- /integration-tests/br3_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/br3_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/brrr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/brrr.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug1.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug1.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug10rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug10rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug10rrr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug10rrr.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug17.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug17.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug3.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug3.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug5.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug5.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug6.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug6.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug6_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug6_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug6rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug6rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug6rrmod.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug6rrmod.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug7.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug7.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug8.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug8.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug9.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug9.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_abort.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_abort.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_diverge.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_diverge.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_diverge2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_diverge2.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_lights.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_lights.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_refinement.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_refinement.qdimacs -------------------------------------------------------------------------------- /integration-tests/bug_refinement_reduced2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/bug_refinement_reduced2.qdimacs -------------------------------------------------------------------------------- /integration-tests/c1_BMC_p1_k8.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/c1_BMC_p1_k8.qdimacs -------------------------------------------------------------------------------- /integration-tests/c3_BMC_p1_k256.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/c3_BMC_p1_k256.qdimacs -------------------------------------------------------------------------------- /integration-tests/c5_BMC_p1_k4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/c5_BMC_p1_k4.qdimacs -------------------------------------------------------------------------------- /integration-tests/constants_and_elimination.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/constants_and_elimination.qdimacs -------------------------------------------------------------------------------- /integration-tests/driverlog09_8.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/driverlog09_8.qdimacs -------------------------------------------------------------------------------- /integration-tests/driverlog10_7.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/driverlog10_7.qdimacs -------------------------------------------------------------------------------- /integration-tests/dungeon_i15-m75-u10-v0.pddl_planlen=4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/dungeon_i15-m75-u10-v0.pddl_planlen=4.qdimacs -------------------------------------------------------------------------------- /integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=13.bloqqer.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=13.bloqqer.qdimacs -------------------------------------------------------------------------------- /integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=13.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=13.qdimacs -------------------------------------------------------------------------------- /integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=14.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/dungeon_i25-m125-u3-v0.pddl_planlen=14.qdimacs -------------------------------------------------------------------------------- /integration-tests/eequery_query04_1344n.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eequery_query04_1344n.qdimacs -------------------------------------------------------------------------------- /integration-tests/eequery_query04_1344n.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eequery_query04_1344n.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/eequery_query04_1344n_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eequery_query04_1344n_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/eequery_query04_1344nqdimacs_reduced.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eequery_query04_1344nqdimacs_reduced.txt -------------------------------------------------------------------------------- /integration-tests/eer.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eer.qdimacs -------------------------------------------------------------------------------- /integration-tests/eerr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/eerr.qdimacs -------------------------------------------------------------------------------- /integration-tests/empty_clause.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/empty_clause.qdimacs -------------------------------------------------------------------------------- /integration-tests/equal.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/equal.qdimacs -------------------------------------------------------------------------------- /integration-tests/equal_hidden.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/equal_hidden.qdimacs -------------------------------------------------------------------------------- /integration-tests/equality_hidden.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/equality_hidden.qdimacs -------------------------------------------------------------------------------- /integration-tests/err.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/err.qdimacs -------------------------------------------------------------------------------- /integration-tests/ev-pr-4x4-5-3-0-0-1-s.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/ev-pr-4x4-5-3-0-0-1-s.qdimacs -------------------------------------------------------------------------------- /integration-tests/ev-pr-4x4-7-3-0-0-1-s.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/ev-pr-4x4-7-3-0-0-1-s.qdimacs -------------------------------------------------------------------------------- /integration-tests/example.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/example.qdimacs -------------------------------------------------------------------------------- /integration-tests/false.qdimacs: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /integration-tests/frrr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/frrr.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz1.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz1.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz10825.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz10825.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz10825_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz10825_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz12668_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz12668_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz12891.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz12891.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz1380_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz1380_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz14807_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz14807_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz17061.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz17061.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz19494_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz19494_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz19959.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz19959.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz22644.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz22644.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz23979_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz23979_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz24003_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz24003_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz24330.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz24330.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz25823.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz25823.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz606.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz606.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz7300.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz7300.qdimacs -------------------------------------------------------------------------------- /integration-tests/fuzz9716.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/fuzz9716.qdimacs -------------------------------------------------------------------------------- /integration-tests/illegal_dependence_conflict.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/illegal_dependence_conflict.qdimacs -------------------------------------------------------------------------------- /integration-tests/illegal_dependence_conflict2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/illegal_dependence_conflict2.qdimacs -------------------------------------------------------------------------------- /integration-tests/incomplete_or.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/incomplete_or.qdimacs -------------------------------------------------------------------------------- /integration-tests/instances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/instances.txt -------------------------------------------------------------------------------- /integration-tests/k_ph_n-16.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/k_ph_n-16.qdimacs -------------------------------------------------------------------------------- /integration-tests/lights.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/lights.qdimacs -------------------------------------------------------------------------------- /integration-tests/lights3_021_0_009.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/lights3_021_0_009.qdimacs -------------------------------------------------------------------------------- /integration-tests/lights3_021_0_013.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/lights3_021_0_013.qdimacs -------------------------------------------------------------------------------- /integration-tests/mb3.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/mb3.qdimacs -------------------------------------------------------------------------------- /integration-tests/mb3_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/mb3_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/miniTest78_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/miniTest78_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/miniTestb267_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/miniTestb267_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/miniTestb267rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/miniTestb267rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/miniTestb267rr2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/miniTestb267rr2.qdimacs -------------------------------------------------------------------------------- /integration-tests/miniTestb282_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/miniTestb282_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/mvs.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/mvs.qdimacs -------------------------------------------------------------------------------- /integration-tests/mvsr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/mvsr.qdimacs -------------------------------------------------------------------------------- /integration-tests/mvsr3_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/mvsr3_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/or_blocked.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/or_blocked.qdimacs -------------------------------------------------------------------------------- /integration-tests/or_hidden.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/or_hidden.qdimacs -------------------------------------------------------------------------------- /integration-tests/p10-1.pddl_planlen=4.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/p10-1.pddl_planlen=4.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/p10-5.pddl_planlen=19.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/p10-5.pddl_planlen=19.qdimacs -------------------------------------------------------------------------------- /integration-tests/p5-5.pddl_planlen=2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/p5-5.pddl_planlen=2.qdimacs -------------------------------------------------------------------------------- /integration-tests/partition.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/partition.qdimacs -------------------------------------------------------------------------------- /integration-tests/partition2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/partition2.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_32bit_sat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_32bit_sat.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_32bit_sat_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_32bit_sat_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_sat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_sat.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat.mod.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat.mod.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat.prop.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat.prop.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat.simp.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat.simp.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_adder_unsat_reduced2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_adder_unsat_reduced2.qdimacs -------------------------------------------------------------------------------- /integration-tests/pec_example_circuit_6_2_2_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/pec_example_circuit_6_2_2_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/projection_error2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/projection_error2.qdimacs -------------------------------------------------------------------------------- /integration-tests/propagation_sat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/propagation_sat.qdimacs -------------------------------------------------------------------------------- /integration-tests/qaiger/and.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/and.qaig -------------------------------------------------------------------------------- /integration-tests/qaiger/and_latch.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/and_latch.qaig -------------------------------------------------------------------------------- /integration-tests/qaiger/beem.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/beem.qaig -------------------------------------------------------------------------------- /integration-tests/qaiger/beem8.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/beem8.aag -------------------------------------------------------------------------------- /integration-tests/qaiger/bob12s05_c0to7.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/bob12s05_c0to7.aag -------------------------------------------------------------------------------- /integration-tests/qaiger/equiv.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/equiv.qaig -------------------------------------------------------------------------------- /integration-tests/qaiger/hwmmc.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/hwmmc.qaig -------------------------------------------------------------------------------- /integration-tests/qaiger/ltl2dba_C2-6_comp2_REAL.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/ltl2dba_C2-6_comp2_REAL.aag -------------------------------------------------------------------------------- /integration-tests/qaiger/ltl2dba_U1-6_comp3_REAL.aag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/ltl2dba_U1-6_comp3_REAL.aag -------------------------------------------------------------------------------- /integration-tests/qaiger/or.qaig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/qaiger/or.qaig -------------------------------------------------------------------------------- /integration-tests/rareqs_paper_example.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/rareqs_paper_example.qdimacs -------------------------------------------------------------------------------- /integration-tests/rf28rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/rf28rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/rf_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/rf_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/s05378_PR_7_2.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s05378_PR_7_2.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/s1269_d2_s.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s1269_d2_s.qdimacs -------------------------------------------------------------------------------- /integration-tests/s15850_PR_5_90.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s15850_PR_5_90.qdimacs -------------------------------------------------------------------------------- /integration-tests/s38584_PR_1_2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s38584_PR_1_2.qdimacs -------------------------------------------------------------------------------- /integration-tests/s5378_1_0.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s5378_1_0.qdimacs -------------------------------------------------------------------------------- /integration-tests/s713_d4_s.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/s713_d4_s.qdimacs -------------------------------------------------------------------------------- /integration-tests/segfault.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/segfault.qdimacs -------------------------------------------------------------------------------- /integration-tests/segfault2.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/segfault2.qdimacs -------------------------------------------------------------------------------- /integration-tests/simple_sat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/simple_sat.qdimacs -------------------------------------------------------------------------------- /integration-tests/simple_seperated.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/simple_seperated.qdimacs -------------------------------------------------------------------------------- /integration-tests/sns53_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/sns53_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/sns56rrr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/sns56rrr.qdimacs -------------------------------------------------------------------------------- /integration-tests/sorting_network_4_5_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/sorting_network_4_5_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/sorting_network_4_5_rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/sorting_network_4_5_rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/sortnetsort5AEstepl003_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/sortnetsort5AEstepl003_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt21_4_5_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt21_4_5_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt21r4.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt21r4.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt21rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt21rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt27_149_224.qdimacs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt27_149_224.qdimacs.txt -------------------------------------------------------------------------------- /integration-tests/stmt27rrr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt27rrr.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt5rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt5rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/stmt7rr.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/stmt7rr.qdimacs -------------------------------------------------------------------------------- /integration-tests/test_implications.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/test_implications.qdimacs -------------------------------------------------------------------------------- /integration-tests/test_sat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/test_sat.qdimacs -------------------------------------------------------------------------------- /integration-tests/test_unsat.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/test_unsat.qdimacs -------------------------------------------------------------------------------- /integration-tests/tmp-47850_reduced.qdimacs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/integration-tests/tmp-47850_reduced.qdimacs -------------------------------------------------------------------------------- /integration-tests/true.qdimacs: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /scripts/bloqqer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/bloqqer.sh -------------------------------------------------------------------------------- /scripts/cactus.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/cactus.py -------------------------------------------------------------------------------- /scripts/command.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/command.py -------------------------------------------------------------------------------- /scripts/diff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/diff.py -------------------------------------------------------------------------------- /scripts/equiscript2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/equiscript2.sh -------------------------------------------------------------------------------- /scripts/equiscript3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/equiscript3.sh -------------------------------------------------------------------------------- /scripts/fuzzabort.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/fuzzabort.sh -------------------------------------------------------------------------------- /scripts/fuzzcript.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/fuzzcript.sh -------------------------------------------------------------------------------- /scripts/reporting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/reporting.py -------------------------------------------------------------------------------- /scripts/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/run.py -------------------------------------------------------------------------------- /scripts/tester.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/scripts/tester.py -------------------------------------------------------------------------------- /src/active_clause_iterator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/active_clause_iterator.c -------------------------------------------------------------------------------- /src/aiger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/aiger.c -------------------------------------------------------------------------------- /src/aiger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/aiger.h -------------------------------------------------------------------------------- /src/aiger_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/aiger_utils.c -------------------------------------------------------------------------------- /src/aiger_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/aiger_utils.h -------------------------------------------------------------------------------- /src/bit_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/bit_vector.c -------------------------------------------------------------------------------- /src/bit_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/bit_vector.h -------------------------------------------------------------------------------- /src/c2_casesplits_control.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_casesplits_control.c -------------------------------------------------------------------------------- /src/c2_clause_minimization.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_clause_minimization.c -------------------------------------------------------------------------------- /src/c2_rl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_rl.c -------------------------------------------------------------------------------- /src/c2_rl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_rl.h -------------------------------------------------------------------------------- /src/c2_simplify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_simplify.c -------------------------------------------------------------------------------- /src/c2_traces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_traces.c -------------------------------------------------------------------------------- /src/c2_traces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_traces.h -------------------------------------------------------------------------------- /src/c2_validate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_validate.c -------------------------------------------------------------------------------- /src/c2_validate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/c2_validate.h -------------------------------------------------------------------------------- /src/cadet2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/cadet2.c -------------------------------------------------------------------------------- /src/cadet2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/cadet2.h -------------------------------------------------------------------------------- /src/cadet_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/cadet_internal.h -------------------------------------------------------------------------------- /src/casesplits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/casesplits.c -------------------------------------------------------------------------------- /src/casesplits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/casesplits.h -------------------------------------------------------------------------------- /src/cegar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/cegar.c -------------------------------------------------------------------------------- /src/certify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/certify.h -------------------------------------------------------------------------------- /src/certify_SAT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/certify_SAT.c -------------------------------------------------------------------------------- /src/certify_UNSAT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/certify_UNSAT.c -------------------------------------------------------------------------------- /src/certify_validate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/certify_validate.c -------------------------------------------------------------------------------- /src/conflict_analysis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/conflict_analysis.c -------------------------------------------------------------------------------- /src/conflict_analysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/conflict_analysis.h -------------------------------------------------------------------------------- /src/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/debug.c -------------------------------------------------------------------------------- /src/debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/debug.h -------------------------------------------------------------------------------- /src/examples.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/examples.c -------------------------------------------------------------------------------- /src/examples.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/examples.h -------------------------------------------------------------------------------- /src/float_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/float_vector.c -------------------------------------------------------------------------------- /src/float_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/float_vector.h -------------------------------------------------------------------------------- /src/heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/heap.c -------------------------------------------------------------------------------- /src/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/heap.h -------------------------------------------------------------------------------- /src/int_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/int_vector.c -------------------------------------------------------------------------------- /src/int_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/int_vector.h -------------------------------------------------------------------------------- /src/lingeling/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/COPYING -------------------------------------------------------------------------------- /src/lingeling/VERSION: -------------------------------------------------------------------------------- 1 | bbc 2 | -------------------------------------------------------------------------------- /src/lingeling/lglconst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lglconst.h -------------------------------------------------------------------------------- /src/lingeling/lglib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lglib.c -------------------------------------------------------------------------------- /src/lingeling/lglib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lglib.h -------------------------------------------------------------------------------- /src/lingeling/lgloptl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lgloptl.h -------------------------------------------------------------------------------- /src/lingeling/lglopts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lglopts.c -------------------------------------------------------------------------------- /src/lingeling/lglopts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/lingeling/lglopts.h -------------------------------------------------------------------------------- /src/log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/log.c -------------------------------------------------------------------------------- /src/log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/log.h -------------------------------------------------------------------------------- /src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/main.c -------------------------------------------------------------------------------- /src/map.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/map.c -------------------------------------------------------------------------------- /src/map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/map.h -------------------------------------------------------------------------------- /src/mersenne_twister.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/mersenne_twister.c -------------------------------------------------------------------------------- /src/mersenne_twister.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/mersenne_twister.h -------------------------------------------------------------------------------- /src/options.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/options.c -------------------------------------------------------------------------------- /src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/options.h -------------------------------------------------------------------------------- /src/parse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/parse.c -------------------------------------------------------------------------------- /src/partial_assignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/partial_assignment.c -------------------------------------------------------------------------------- /src/partial_assignment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/partial_assignment.h -------------------------------------------------------------------------------- /src/partitions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/partitions.c -------------------------------------------------------------------------------- /src/picosat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/picosat.c -------------------------------------------------------------------------------- /src/picosat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/picosat.h -------------------------------------------------------------------------------- /src/pqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/pqueue.c -------------------------------------------------------------------------------- /src/pqueue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/pqueue.h -------------------------------------------------------------------------------- /src/qcnf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qcnf.c -------------------------------------------------------------------------------- /src/qcnf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qcnf.h -------------------------------------------------------------------------------- /src/qcnf_variable_names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qcnf_variable_names.c -------------------------------------------------------------------------------- /src/qipasir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qipasir.c -------------------------------------------------------------------------------- /src/qipasir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qipasir.h -------------------------------------------------------------------------------- /src/qipasir_parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qipasir_parser.c -------------------------------------------------------------------------------- /src/qipasir_parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/qipasir_parser.h -------------------------------------------------------------------------------- /src/satsolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver.h -------------------------------------------------------------------------------- /src/satsolver_cryptominisat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver_cryptominisat.cpp -------------------------------------------------------------------------------- /src/satsolver_lingeling_assumptions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver_lingeling_assumptions.c -------------------------------------------------------------------------------- /src/satsolver_minisat.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver_minisat.cc -------------------------------------------------------------------------------- /src/satsolver_picosat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver_picosat.c -------------------------------------------------------------------------------- /src/satsolver_picosat_assumptions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/satsolver_picosat_assumptions.c -------------------------------------------------------------------------------- /src/set.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/set.c -------------------------------------------------------------------------------- /src/set.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/set.h -------------------------------------------------------------------------------- /src/skolem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem.c -------------------------------------------------------------------------------- /src/skolem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem.h -------------------------------------------------------------------------------- /src/skolem_conflict_analysis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_conflict_analysis.c -------------------------------------------------------------------------------- /src/skolem_dependencies.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_dependencies.c -------------------------------------------------------------------------------- /src/skolem_dependencies.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_dependencies.h -------------------------------------------------------------------------------- /src/skolem_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_var.c -------------------------------------------------------------------------------- /src/skolem_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_var.h -------------------------------------------------------------------------------- /src/skolem_var_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_var_vector.c -------------------------------------------------------------------------------- /src/skolem_var_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/skolem_var_vector.h -------------------------------------------------------------------------------- /src/statistics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/statistics.c -------------------------------------------------------------------------------- /src/statistics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/statistics.h -------------------------------------------------------------------------------- /src/tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/tests.c -------------------------------------------------------------------------------- /src/tests.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/tests.h -------------------------------------------------------------------------------- /src/undo_stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/undo_stack.c -------------------------------------------------------------------------------- /src/undo_stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/undo_stack.h -------------------------------------------------------------------------------- /src/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/util.c -------------------------------------------------------------------------------- /src/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/util.h -------------------------------------------------------------------------------- /src/val_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/val_vector.c -------------------------------------------------------------------------------- /src/val_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/val_vector.h -------------------------------------------------------------------------------- /src/var_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/var_vector.c -------------------------------------------------------------------------------- /src/var_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/var_vector.h -------------------------------------------------------------------------------- /src/vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/vector.c -------------------------------------------------------------------------------- /src/vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarkusRabe/cadet/HEAD/src/vector.h --------------------------------------------------------------------------------