├── .gitignore ├── LICENSE ├── Makefile_gmp ├── Makefile_nogmp ├── README.md ├── astyle-and-clean.sh ├── exp-testing ├── bmc-ibm-2.cnf └── logistics.a.cnf ├── logo.png ├── src ├── extra │ ├── dnf2cnf.py │ └── utils.py ├── shared │ ├── Interface │ │ ├── AnalyzerData.cpp │ │ └── AnalyzerData.h │ ├── RealNumberTypes.cpp │ ├── RealNumberTypes.h │ ├── SomeTime.cpp │ └── SomeTime.h └── src_sharpSAT │ ├── Basics.cpp │ ├── Basics.h │ ├── Basics.h.bdg │ ├── Basics.h.ddnnf │ ├── MainSolver │ ├── DecisionStack.cpp │ ├── DecisionStack.h │ ├── DecisionTree.cpp │ ├── DecisionTree.h │ ├── FormulaCache.cpp │ ├── FormulaCache.h │ ├── InstanceGraph │ │ ├── AtomsAndNodes.cpp │ │ ├── AtomsAndNodes.h │ │ ├── ComponentTypes.h │ │ ├── InstanceGraph.cpp │ │ └── InstanceGraph.h │ ├── MainSolver.cpp │ └── MainSolver.h │ └── main.cpp ├── unused ├── exp.py └── run-all.sh └── validate.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile_gmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/Makefile_gmp -------------------------------------------------------------------------------- /Makefile_nogmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/Makefile_nogmp -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/README.md -------------------------------------------------------------------------------- /astyle-and-clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/astyle-and-clean.sh -------------------------------------------------------------------------------- /exp-testing/bmc-ibm-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/exp-testing/bmc-ibm-2.cnf -------------------------------------------------------------------------------- /exp-testing/logistics.a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/exp-testing/logistics.a.cnf -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/logo.png -------------------------------------------------------------------------------- /src/extra/dnf2cnf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/extra/dnf2cnf.py -------------------------------------------------------------------------------- /src/extra/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/extra/utils.py -------------------------------------------------------------------------------- /src/shared/Interface/AnalyzerData.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/Interface/AnalyzerData.cpp -------------------------------------------------------------------------------- /src/shared/Interface/AnalyzerData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/Interface/AnalyzerData.h -------------------------------------------------------------------------------- /src/shared/RealNumberTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/RealNumberTypes.cpp -------------------------------------------------------------------------------- /src/shared/RealNumberTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/RealNumberTypes.h -------------------------------------------------------------------------------- /src/shared/SomeTime.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/SomeTime.cpp -------------------------------------------------------------------------------- /src/shared/SomeTime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/shared/SomeTime.h -------------------------------------------------------------------------------- /src/src_sharpSAT/Basics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/Basics.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/Basics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/Basics.h -------------------------------------------------------------------------------- /src/src_sharpSAT/Basics.h.bdg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/Basics.h.bdg -------------------------------------------------------------------------------- /src/src_sharpSAT/Basics.h.ddnnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/Basics.h.ddnnf -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/DecisionStack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/DecisionStack.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/DecisionStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/DecisionStack.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/DecisionTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/DecisionTree.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/DecisionTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/DecisionTree.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/FormulaCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/FormulaCache.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/FormulaCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/FormulaCache.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/InstanceGraph/AtomsAndNodes.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/InstanceGraph/ComponentTypes.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/InstanceGraph/InstanceGraph.h -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/MainSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/MainSolver.cpp -------------------------------------------------------------------------------- /src/src_sharpSAT/MainSolver/MainSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/MainSolver/MainSolver.h -------------------------------------------------------------------------------- /src/src_sharpSAT/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/src/src_sharpSAT/main.cpp -------------------------------------------------------------------------------- /unused/exp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/unused/exp.py -------------------------------------------------------------------------------- /unused/run-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/unused/run-all.sh -------------------------------------------------------------------------------- /validate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuMuLab/dsharp/HEAD/validate.py --------------------------------------------------------------------------------