├── .gitignore ├── BasicMemoryUsage.h ├── BitArray.hpp ├── ColorPrint.h ├── Diamond.h ├── LICENSE ├── Main.cc ├── Makefile ├── README.md ├── SetInScope.h ├── TableBitInfo.hpp ├── TimeMeasure.h ├── Topi.cc ├── Topi.hpp ├── TopiAsg.cc ├── TopiBacktrack.cc ├── TopiBcp.cc ├── TopiBitCompression.cc ├── TopiCompression.cc ├── TopiConflictAnalysis.cc ├── TopiDebugPrinting.cc ├── TopiDecision.cc ├── TopiGlobal.hpp ├── TopiHandleNewUserCls.hpp ├── TopiInprocess.cc ├── TopiParams.hpp ├── TopiRestart.cc ├── TopiStatistics.hpp ├── TopiVarScores.hpp ├── TopiWL.cc ├── Topor.cc ├── Topor.hpp ├── ToporBitArray.hpp ├── ToporBitArrayBuffer.hpp ├── ToporDynArray.hpp ├── ToporExternalTypes.hpp ├── ToporIpasir.cc ├── ToporIpasir.h ├── ToporTableBitInfo.hpp ├── ToporVector.hpp ├── ToporWinAverage.hpp ├── regression_instances ├── ddtbug_13_02_2025-16_28_20_icsl11502_24812.cnf ├── ddtbug_19_02_2025-23_42_40_icsl11502_32499.cnf ├── regr_1.cnf ├── regr_10.cnf ├── regr_11.cnf ├── regr_12.cnf ├── regr_13.cnf ├── regr_14.cnf ├── regr_15.cnf ├── regr_16.cnf ├── regr_17.cnf ├── regr_18.cnf ├── regr_19.cnf ├── regr_2.cnf ├── regr_20.cnf ├── regr_21.cnf ├── regr_22.cnf ├── regr_23.cnf ├── regr_24.cnf ├── regr_25.cnf ├── regr_26.cnf ├── regr_27.cnf ├── regr_28.cnf ├── regr_29.cnf ├── regr_3.cnf ├── regr_30.cnf ├── regr_31.cnf ├── regr_32.cnf ├── regr_33.cnf ├── regr_34.cnf ├── regr_35.cnf ├── regr_36.cnf ├── regr_37.cnf ├── regr_38.cnf ├── regr_39.cnf ├── regr_4.cnf ├── regr_40.cnf ├── regr_41.cnf ├── regr_42.cnf ├── regr_43.cnf ├── regr_44.cnf ├── regr_45.cnf ├── regr_46.cnf ├── regr_47.cnf ├── regr_48.cnf ├── regr_49.cnf ├── regr_5.cnf ├── regr_50.cnf ├── regr_51.cnf ├── regr_52.cnf ├── regr_53.cnf ├── regr_54.cnf ├── regr_55.cnf ├── regr_56.cnf ├── regr_57.cnf ├── regr_58.cnf ├── regr_59.cnf ├── regr_6.cnf ├── regr_60.cnf ├── regr_61.cnf ├── regr_62.cnf ├── regr_63.cnf ├── regr_64.cnf ├── regr_65.cnf ├── regr_66.cnf ├── regr_67.cnf ├── regr_68.cnf ├── regr_69.cnf ├── regr_7.cnf ├── regr_70.cnf ├── regr_71.cnf ├── regr_72.cnf ├── regr_8.cnf └── regr_9.cnf ├── scripts ├── README.md ├── delta_debug_intel_sat.csh ├── delta_debug_intel_sat_till_fixed_point.csh ├── fuzz_and_verify.csh ├── fuzz_and_verify_parallel.csh ├── run_and_verify_intel_sat.csh └── run_and_verify_intel_sat_on_regression.csh ├── third_party ├── LICENSE ├── README.md ├── cnfuzzdd2013 │ ├── COPYING │ ├── README │ ├── cnfdd.c │ ├── cnfuzz.c │ ├── cnfuzz_incr │ ├── cnfuzz_incr.c │ ├── make_fuzzers.csh │ └── mtcnfdd.c ├── dimocheck └── drat-trim ├── topor.sln ├── topor.vcxproj ├── topor.vcxproj.filters └── topor.vcxproj.user /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/.gitignore -------------------------------------------------------------------------------- /BasicMemoryUsage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/BasicMemoryUsage.h -------------------------------------------------------------------------------- /BitArray.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/BitArray.hpp -------------------------------------------------------------------------------- /ColorPrint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ColorPrint.h -------------------------------------------------------------------------------- /Diamond.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | static void DIAMOND([[maybe_unused]] const std::string&, bool&) {} 4 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/LICENSE -------------------------------------------------------------------------------- /Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Main.cc -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/README.md -------------------------------------------------------------------------------- /SetInScope.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/SetInScope.h -------------------------------------------------------------------------------- /TableBitInfo.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TableBitInfo.hpp -------------------------------------------------------------------------------- /TimeMeasure.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TimeMeasure.h -------------------------------------------------------------------------------- /Topi.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Topi.cc -------------------------------------------------------------------------------- /Topi.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Topi.hpp -------------------------------------------------------------------------------- /TopiAsg.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiAsg.cc -------------------------------------------------------------------------------- /TopiBacktrack.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiBacktrack.cc -------------------------------------------------------------------------------- /TopiBcp.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiBcp.cc -------------------------------------------------------------------------------- /TopiBitCompression.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiBitCompression.cc -------------------------------------------------------------------------------- /TopiCompression.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiCompression.cc -------------------------------------------------------------------------------- /TopiConflictAnalysis.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiConflictAnalysis.cc -------------------------------------------------------------------------------- /TopiDebugPrinting.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiDebugPrinting.cc -------------------------------------------------------------------------------- /TopiDecision.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiDecision.cc -------------------------------------------------------------------------------- /TopiGlobal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiGlobal.hpp -------------------------------------------------------------------------------- /TopiHandleNewUserCls.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiHandleNewUserCls.hpp -------------------------------------------------------------------------------- /TopiInprocess.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiInprocess.cc -------------------------------------------------------------------------------- /TopiParams.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiParams.hpp -------------------------------------------------------------------------------- /TopiRestart.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiRestart.cc -------------------------------------------------------------------------------- /TopiStatistics.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiStatistics.hpp -------------------------------------------------------------------------------- /TopiVarScores.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiVarScores.hpp -------------------------------------------------------------------------------- /TopiWL.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/TopiWL.cc -------------------------------------------------------------------------------- /Topor.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Topor.cc -------------------------------------------------------------------------------- /Topor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/Topor.hpp -------------------------------------------------------------------------------- /ToporBitArray.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporBitArray.hpp -------------------------------------------------------------------------------- /ToporBitArrayBuffer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporBitArrayBuffer.hpp -------------------------------------------------------------------------------- /ToporDynArray.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporDynArray.hpp -------------------------------------------------------------------------------- /ToporExternalTypes.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporExternalTypes.hpp -------------------------------------------------------------------------------- /ToporIpasir.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporIpasir.cc -------------------------------------------------------------------------------- /ToporIpasir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporIpasir.h -------------------------------------------------------------------------------- /ToporTableBitInfo.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporTableBitInfo.hpp -------------------------------------------------------------------------------- /ToporVector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporVector.hpp -------------------------------------------------------------------------------- /ToporWinAverage.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/ToporWinAverage.hpp -------------------------------------------------------------------------------- /regression_instances/ddtbug_13_02_2025-16_28_20_icsl11502_24812.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/ddtbug_13_02_2025-16_28_20_icsl11502_24812.cnf -------------------------------------------------------------------------------- /regression_instances/ddtbug_19_02_2025-23_42_40_icsl11502_32499.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/ddtbug_19_02_2025-23_42_40_icsl11502_32499.cnf -------------------------------------------------------------------------------- /regression_instances/regr_1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_1.cnf -------------------------------------------------------------------------------- /regression_instances/regr_10.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_10.cnf -------------------------------------------------------------------------------- /regression_instances/regr_11.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_11.cnf -------------------------------------------------------------------------------- /regression_instances/regr_12.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_12.cnf -------------------------------------------------------------------------------- /regression_instances/regr_13.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_13.cnf -------------------------------------------------------------------------------- /regression_instances/regr_14.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_14.cnf -------------------------------------------------------------------------------- /regression_instances/regr_15.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_15.cnf -------------------------------------------------------------------------------- /regression_instances/regr_16.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_16.cnf -------------------------------------------------------------------------------- /regression_instances/regr_17.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_17.cnf -------------------------------------------------------------------------------- /regression_instances/regr_18.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_18.cnf -------------------------------------------------------------------------------- /regression_instances/regr_19.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_19.cnf -------------------------------------------------------------------------------- /regression_instances/regr_2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_2.cnf -------------------------------------------------------------------------------- /regression_instances/regr_20.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_20.cnf -------------------------------------------------------------------------------- /regression_instances/regr_21.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_21.cnf -------------------------------------------------------------------------------- /regression_instances/regr_22.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_22.cnf -------------------------------------------------------------------------------- /regression_instances/regr_23.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_23.cnf -------------------------------------------------------------------------------- /regression_instances/regr_24.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_24.cnf -------------------------------------------------------------------------------- /regression_instances/regr_25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_25.cnf -------------------------------------------------------------------------------- /regression_instances/regr_26.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_26.cnf -------------------------------------------------------------------------------- /regression_instances/regr_27.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_27.cnf -------------------------------------------------------------------------------- /regression_instances/regr_28.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_28.cnf -------------------------------------------------------------------------------- /regression_instances/regr_29.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_29.cnf -------------------------------------------------------------------------------- /regression_instances/regr_3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_3.cnf -------------------------------------------------------------------------------- /regression_instances/regr_30.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_30.cnf -------------------------------------------------------------------------------- /regression_instances/regr_31.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_31.cnf -------------------------------------------------------------------------------- /regression_instances/regr_32.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_32.cnf -------------------------------------------------------------------------------- /regression_instances/regr_33.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_33.cnf -------------------------------------------------------------------------------- /regression_instances/regr_34.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_34.cnf -------------------------------------------------------------------------------- /regression_instances/regr_35.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_35.cnf -------------------------------------------------------------------------------- /regression_instances/regr_36.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_36.cnf -------------------------------------------------------------------------------- /regression_instances/regr_37.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_37.cnf -------------------------------------------------------------------------------- /regression_instances/regr_38.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_38.cnf -------------------------------------------------------------------------------- /regression_instances/regr_39.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_39.cnf -------------------------------------------------------------------------------- /regression_instances/regr_4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_4.cnf -------------------------------------------------------------------------------- /regression_instances/regr_40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_40.cnf -------------------------------------------------------------------------------- /regression_instances/regr_41.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_41.cnf -------------------------------------------------------------------------------- /regression_instances/regr_42.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_42.cnf -------------------------------------------------------------------------------- /regression_instances/regr_43.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_43.cnf -------------------------------------------------------------------------------- /regression_instances/regr_44.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_44.cnf -------------------------------------------------------------------------------- /regression_instances/regr_45.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_45.cnf -------------------------------------------------------------------------------- /regression_instances/regr_46.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_46.cnf -------------------------------------------------------------------------------- /regression_instances/regr_47.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_47.cnf -------------------------------------------------------------------------------- /regression_instances/regr_48.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_48.cnf -------------------------------------------------------------------------------- /regression_instances/regr_49.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_49.cnf -------------------------------------------------------------------------------- /regression_instances/regr_5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_5.cnf -------------------------------------------------------------------------------- /regression_instances/regr_50.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_50.cnf -------------------------------------------------------------------------------- /regression_instances/regr_51.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_51.cnf -------------------------------------------------------------------------------- /regression_instances/regr_52.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_52.cnf -------------------------------------------------------------------------------- /regression_instances/regr_53.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_53.cnf -------------------------------------------------------------------------------- /regression_instances/regr_54.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_54.cnf -------------------------------------------------------------------------------- /regression_instances/regr_55.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_55.cnf -------------------------------------------------------------------------------- /regression_instances/regr_56.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_56.cnf -------------------------------------------------------------------------------- /regression_instances/regr_57.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_57.cnf -------------------------------------------------------------------------------- /regression_instances/regr_58.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_58.cnf -------------------------------------------------------------------------------- /regression_instances/regr_59.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_59.cnf -------------------------------------------------------------------------------- /regression_instances/regr_6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_6.cnf -------------------------------------------------------------------------------- /regression_instances/regr_60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_60.cnf -------------------------------------------------------------------------------- /regression_instances/regr_61.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_61.cnf -------------------------------------------------------------------------------- /regression_instances/regr_62.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_62.cnf -------------------------------------------------------------------------------- /regression_instances/regr_63.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_63.cnf -------------------------------------------------------------------------------- /regression_instances/regr_64.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_64.cnf -------------------------------------------------------------------------------- /regression_instances/regr_65.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_65.cnf -------------------------------------------------------------------------------- /regression_instances/regr_66.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_66.cnf -------------------------------------------------------------------------------- /regression_instances/regr_67.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_67.cnf -------------------------------------------------------------------------------- /regression_instances/regr_68.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_68.cnf -------------------------------------------------------------------------------- /regression_instances/regr_69.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_69.cnf -------------------------------------------------------------------------------- /regression_instances/regr_7.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_7.cnf -------------------------------------------------------------------------------- /regression_instances/regr_70.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_70.cnf -------------------------------------------------------------------------------- /regression_instances/regr_71.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_71.cnf -------------------------------------------------------------------------------- /regression_instances/regr_72.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_72.cnf -------------------------------------------------------------------------------- /regression_instances/regr_8.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_8.cnf -------------------------------------------------------------------------------- /regression_instances/regr_9.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/regression_instances/regr_9.cnf -------------------------------------------------------------------------------- /scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/README.md -------------------------------------------------------------------------------- /scripts/delta_debug_intel_sat.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/delta_debug_intel_sat.csh -------------------------------------------------------------------------------- /scripts/delta_debug_intel_sat_till_fixed_point.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/delta_debug_intel_sat_till_fixed_point.csh -------------------------------------------------------------------------------- /scripts/fuzz_and_verify.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/fuzz_and_verify.csh -------------------------------------------------------------------------------- /scripts/fuzz_and_verify_parallel.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/fuzz_and_verify_parallel.csh -------------------------------------------------------------------------------- /scripts/run_and_verify_intel_sat.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/run_and_verify_intel_sat.csh -------------------------------------------------------------------------------- /scripts/run_and_verify_intel_sat_on_regression.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/scripts/run_and_verify_intel_sat_on_regression.csh -------------------------------------------------------------------------------- /third_party/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/LICENSE -------------------------------------------------------------------------------- /third_party/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/README.md -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/COPYING -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/README -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/cnfdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/cnfdd.c -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/cnfuzz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/cnfuzz.c -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/cnfuzz_incr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/cnfuzz_incr -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/cnfuzz_incr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/cnfuzz_incr.c -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/make_fuzzers.csh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/make_fuzzers.csh -------------------------------------------------------------------------------- /third_party/cnfuzzdd2013/mtcnfdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/cnfuzzdd2013/mtcnfdd.c -------------------------------------------------------------------------------- /third_party/dimocheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/dimocheck -------------------------------------------------------------------------------- /third_party/drat-trim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/third_party/drat-trim -------------------------------------------------------------------------------- /topor.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/topor.sln -------------------------------------------------------------------------------- /topor.vcxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/topor.vcxproj -------------------------------------------------------------------------------- /topor.vcxproj.filters: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/topor.vcxproj.filters -------------------------------------------------------------------------------- /topor.vcxproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alexander-nadel/intel_sat_solver/HEAD/topor.vcxproj.user --------------------------------------------------------------------------------