GitHub - marcin119a/sat-experiments: SIMCim and D-Wave experiments

Setup project:

python3 -m venv venv
venv/bin/activate

Install dependencies:

pip3 install -r requirements.txt

Install training and test dataset:

git clone https://github.com/satproject/neuralheuristicsforsat.git
cd neuralheuristicsforsat
pip3 install -r requirements.in

Name		Name	Last commit message	Last commit date
Latest commit History 77 Commits
akmaxsat_1.1		akmaxsat_1.1
out		out
sr_100		sr_100
sr_1000		sr_1000
sr_108		sr_108
sr_16		sr_16
sr_20		sr_20
sr_24		sr_24
sr_30		sr_30
sr_300		sr_300
sr_32		sr_32
sr_39		sr_39
sr_46		sr_46
sr_50		sr_50
sr_500		sr_500
sr_53		sr_53
sr_60		sr_60
sr_67		sr_67
sr_700		sr_700
sr_75		sr_75
sr_80		sr_80
sr_87		sr_87
sr_98		sr_98
.gitignore		.gitignore
D_SAT(1000).ipynb		D_SAT(1000).ipynb
D_SAT(500)_final.ipynb		D_SAT(500)_final.ipynb
D_SAT(700)_final.ipynb		D_SAT(700)_final.ipynb
D_SAT_300_final.ipynb		D_SAT_300_final.ipynb
Hyperparameters_tunning_for_SIMCIm.ipynb		Hyperparameters_tunning_for_SIMCIm.ipynb
MAX_2_SAT_D_SAT(20).ipynb		MAX_2_SAT_D_SAT(20).ipynb
README.md		README.md
SAT_experiments_with_dwave_and_wildqat.ipynb		SAT_experiments_with_dwave_and_wildqat.ipynb
SIMCIM.py		SIMCIM.py
Visual.ipynb		Visual.ipynb
Visual_Dwave.ipynb		Visual_Dwave.ipynb
max_sat_brute_dlll.ipynb		max_sat_brute_dlll.ipynb
maxsat.py		maxsat.py
pegasus.py		pegasus.py
pegasus_visual.py		pegasus_visual.py
pegasus_vs_2000.py		pegasus_vs_2000.py
pegasus_vs_dwave_visual.py		pegasus_vs_dwave_visual.py
performance.py		performance.py
requirements.txt		requirements.txt
tunning.py		tunning.py
utilities.py		utilities.py

Provide feedback