Initial commit
Showing
- .gitignore 213 additions, 0 deletions.gitignore
- 3sat.py 20 additions, 0 deletions3sat.py
- README.md 103 additions, 72 deletionsREADME.md
- instances/test.sat 3 additions, 0 deletionsinstances/test.sat
- instances/test2.sat 4 additions, 0 deletionsinstances/test2.sat
- requirements.txt 2 additions, 0 deletionsrequirements.txt
- solver/__init__.py 0 additions, 0 deletionssolver/__init__.py
- solver/instance.py 59 additions, 0 deletionssolver/instance.py
- solver/naive_quantum_speedup.py 102 additions, 0 deletionssolver/naive_quantum_speedup.py
- solver/tree.py 171 additions, 0 deletionssolver/tree.py
Loading
Please register or sign in to comment