├── CMakeLists.txt ├── LICENSE ├── README.md ├── data ├── airthmetic │ ├── aa1.aiger │ ├── aa30.aiger │ ├── aa38.aiger │ ├── ab1.aiger │ ├── ab18.aiger │ ├── ab38.aiger │ ├── ab40.aiger │ ├── ac1.aiger │ ├── ac2.aiger │ ├── ac20.aiger │ ├── ac3.aiger │ ├── ac33.aiger │ ├── ac40.aiger │ ├── ac42.aiger │ ├── ad1.aiger │ ├── ad14.aiger │ ├── ad2.aiger │ ├── ad21.aiger │ ├── ad3.aiger │ ├── ad41.aiger │ ├── ad44.aiger │ └── b27.aiger └── non-airthmetic │ ├── b14.aiger │ ├── b15.aiger │ ├── b17.aiger │ ├── b20.aiger │ ├── b21.aiger │ ├── b22.aiger │ ├── c3540.aiger │ ├── c5315.aiger │ ├── c7552.aiger │ ├── s15850.aiger │ ├── s35932.aiger │ ├── s38417.aiger │ └── s38584.aiger └── src ├── conf └── options.hpp ├── libs ├── aiger.c ├── aiger.h ├── cmdline.h ├── heap.h ├── ra_queue.hpp └── vec.h ├── main.cpp └── solver ├── analyze.cpp ├── backtrack.cpp ├── branch.cpp ├── clause.hpp ├── jheap.cpp ├── parse.cpp ├── preprocess.cpp ├── propagate.cpp ├── reduce.cpp ├── resolution.cpp ├── search.cpp ├── simulate.cpp ├── solver.cpp ├── solver.h ├── test.cpp ├── vmtf.cpp └── watch.cpp /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/README.md -------------------------------------------------------------------------------- /data/airthmetic/aa1.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/aa1.aiger -------------------------------------------------------------------------------- /data/airthmetic/aa30.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/aa30.aiger -------------------------------------------------------------------------------- /data/airthmetic/aa38.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/aa38.aiger -------------------------------------------------------------------------------- /data/airthmetic/ab1.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ab1.aiger -------------------------------------------------------------------------------- /data/airthmetic/ab18.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ab18.aiger -------------------------------------------------------------------------------- /data/airthmetic/ab38.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ab38.aiger -------------------------------------------------------------------------------- /data/airthmetic/ab40.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ab40.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac1.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac1.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac2.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac2.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac20.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac20.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac3.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac3.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac33.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac33.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac40.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac40.aiger -------------------------------------------------------------------------------- /data/airthmetic/ac42.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ac42.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad1.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad1.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad14.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad14.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad2.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad2.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad21.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad21.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad3.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad3.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad41.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad41.aiger -------------------------------------------------------------------------------- /data/airthmetic/ad44.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/ad44.aiger -------------------------------------------------------------------------------- /data/airthmetic/b27.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/airthmetic/b27.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b14.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b14.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b15.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b15.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b17.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b17.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b20.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b20.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b21.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b21.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/b22.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/b22.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/c3540.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/c3540.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/c5315.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/c5315.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/c7552.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/c7552.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/s15850.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/s15850.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/s35932.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/s35932.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/s38417.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/s38417.aiger -------------------------------------------------------------------------------- /data/non-airthmetic/s38584.aiger: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/data/non-airthmetic/s38584.aiger -------------------------------------------------------------------------------- /src/conf/options.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/conf/options.hpp -------------------------------------------------------------------------------- /src/libs/aiger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/aiger.c -------------------------------------------------------------------------------- /src/libs/aiger.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/aiger.h -------------------------------------------------------------------------------- /src/libs/cmdline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/cmdline.h -------------------------------------------------------------------------------- /src/libs/heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/heap.h -------------------------------------------------------------------------------- /src/libs/ra_queue.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/ra_queue.hpp -------------------------------------------------------------------------------- /src/libs/vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/libs/vec.h -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/solver/analyze.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/analyze.cpp -------------------------------------------------------------------------------- /src/solver/backtrack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/backtrack.cpp -------------------------------------------------------------------------------- /src/solver/branch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/branch.cpp -------------------------------------------------------------------------------- /src/solver/clause.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/clause.hpp -------------------------------------------------------------------------------- /src/solver/jheap.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/jheap.cpp -------------------------------------------------------------------------------- /src/solver/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/parse.cpp -------------------------------------------------------------------------------- /src/solver/preprocess.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/preprocess.cpp -------------------------------------------------------------------------------- /src/solver/propagate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/propagate.cpp -------------------------------------------------------------------------------- /src/solver/reduce.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/reduce.cpp -------------------------------------------------------------------------------- /src/solver/resolution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/resolution.cpp -------------------------------------------------------------------------------- /src/solver/search.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/search.cpp -------------------------------------------------------------------------------- /src/solver/simulate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/simulate.cpp -------------------------------------------------------------------------------- /src/solver/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/solver.cpp -------------------------------------------------------------------------------- /src/solver/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/solver.h -------------------------------------------------------------------------------- /src/solver/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/test.cpp -------------------------------------------------------------------------------- /src/solver/vmtf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/vmtf.cpp -------------------------------------------------------------------------------- /src/solver/watch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shaowei-cai-group/X-SAT/HEAD/src/solver/watch.cpp --------------------------------------------------------------------------------