├── .gitignore ├── LICENSE ├── README.md ├── args.py ├── batch.py ├── data.py ├── dataset ├── lcg_stats.csv ├── test_formulas │ ├── AProVE07-08.processed.cnf │ ├── cmu-bmc-barrel6.processed.cnf │ ├── countbitsarray02_32.processed.cnf │ ├── g2-hwmcc15deep-6s399b02-k02.processed.cnf │ ├── g2-hwmcc15deep-6s399b03-k02.processed.cnf │ ├── minxorminand032.processed.cnf │ ├── mulhs016.processed.cnf │ └── sat_prob_3.processed.cnf └── train_formulas │ ├── AProVE07-03.processed.cnf │ ├── aes_24_4_keyfind_2.processed.cnf │ ├── aes_24_4_keyfind_4.processed.cnf │ ├── aes_32_3_keyfind_2.processed.cnf │ ├── aes_64_1_keyfind_1.processed.cnf │ ├── bf0432-007.processed.cnf │ ├── bmc-ibm-2.processed.cnf │ ├── bmc-ibm-5.processed.cnf │ ├── bmc-ibm-7.processed.cnf │ ├── cmu-bmc-longmult15.processed.cnf │ ├── countbitsrotate016.processed.cnf │ ├── countbitssrl016.processed.cnf │ ├── ii32a1.processed.cnf │ ├── ii32d2.processed.cnf │ ├── ii32e3.processed.cnf │ ├── minor032.processed.cnf │ ├── mrpp_4x4#4_4.processed.cnf │ ├── mrpp_4x4#4_5.processed.cnf │ ├── mrpp_4x4#6_5.processed.cnf │ ├── mrpp_4x4#8_8.processed.cnf │ ├── sat_prob_83.processed.cnf │ ├── smulo016.processed.cnf │ ├── ssa2670-130.processed.cnf │ └── ssa2670-141.processed.cnf ├── eval ├── conversion.py ├── evaluate_graphs.py └── scalefree.cpp ├── main_test.py ├── main_train.py ├── model.py ├── train.py └── utils.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/README.md -------------------------------------------------------------------------------- /args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/args.py -------------------------------------------------------------------------------- /batch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/batch.py -------------------------------------------------------------------------------- /data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/data.py -------------------------------------------------------------------------------- /dataset/lcg_stats.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/lcg_stats.csv -------------------------------------------------------------------------------- /dataset/test_formulas/AProVE07-08.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/AProVE07-08.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/cmu-bmc-barrel6.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/cmu-bmc-barrel6.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/countbitsarray02_32.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/countbitsarray02_32.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/g2-hwmcc15deep-6s399b02-k02.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/g2-hwmcc15deep-6s399b02-k02.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/g2-hwmcc15deep-6s399b03-k02.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/g2-hwmcc15deep-6s399b03-k02.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/minxorminand032.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/minxorminand032.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/mulhs016.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/mulhs016.processed.cnf -------------------------------------------------------------------------------- /dataset/test_formulas/sat_prob_3.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/test_formulas/sat_prob_3.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/AProVE07-03.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/AProVE07-03.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/aes_24_4_keyfind_2.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/aes_24_4_keyfind_2.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/aes_24_4_keyfind_4.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/aes_24_4_keyfind_4.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/aes_32_3_keyfind_2.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/aes_32_3_keyfind_2.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/aes_64_1_keyfind_1.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/aes_64_1_keyfind_1.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/bf0432-007.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/bf0432-007.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/bmc-ibm-2.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/bmc-ibm-2.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/bmc-ibm-5.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/bmc-ibm-5.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/bmc-ibm-7.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/bmc-ibm-7.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/cmu-bmc-longmult15.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/cmu-bmc-longmult15.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/countbitsrotate016.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/countbitsrotate016.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/countbitssrl016.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/countbitssrl016.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/ii32a1.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/ii32a1.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/ii32d2.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/ii32d2.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/ii32e3.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/ii32e3.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/minor032.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/minor032.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/mrpp_4x4#4_4.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/mrpp_4x4#4_4.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/mrpp_4x4#4_5.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/mrpp_4x4#4_5.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/mrpp_4x4#6_5.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/mrpp_4x4#6_5.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/mrpp_4x4#8_8.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/mrpp_4x4#8_8.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/sat_prob_83.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/sat_prob_83.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/smulo016.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/smulo016.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/ssa2670-130.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/ssa2670-130.processed.cnf -------------------------------------------------------------------------------- /dataset/train_formulas/ssa2670-141.processed.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/dataset/train_formulas/ssa2670-141.processed.cnf -------------------------------------------------------------------------------- /eval/conversion.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/eval/conversion.py -------------------------------------------------------------------------------- /eval/evaluate_graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/eval/evaluate_graphs.py -------------------------------------------------------------------------------- /eval/scalefree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/eval/scalefree.cpp -------------------------------------------------------------------------------- /main_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/main_test.py -------------------------------------------------------------------------------- /main_train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/main_train.py -------------------------------------------------------------------------------- /model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/model.py -------------------------------------------------------------------------------- /train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/train.py -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JiaxuanYou/G2SAT/HEAD/utils.py --------------------------------------------------------------------------------