my_SAT_solver

NeurSAT implementation in Pytorch

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
config		config
models		models
src		src
utils		utils
.gitignore		.gitignore
README.md		README.md
eval.py		eval.py
expe_nuit.py		expe_nuit.py
generate_data.py		generate_data.py
generate_dimacs_gift_v2.py		generate_dimacs_gift_v2.py
generate_dimacs_gift_v2_tau5.py		generate_dimacs_gift_v2_tau5.py
generate_dimacs_gift_v2_tau6.py		generate_dimacs_gift_v2_tau6.py
generate_dimacs_gift_v2_tau7.py		generate_dimacs_gift_v2_tau7.py
main.py		main.py
scripts_all.py		scripts_all.py
scripts_gen_data.py		scripts_gen_data.py
scripts_gen_train.py		scripts_gen_train.py
scripts_train_data_01.py		scripts_train_data_01.py
scripts_train_data_2.py		scripts_train_data_2.py
scripts_train_data_3.py		scripts_train_data_3.py
split.py		split.py

AdrienBenamira/my_SAT_solver