Name		Name	Last commit message	Last commit date
__pycache__		__pycache__
CNF3.py		CNF3.py
MVL_LDE.py		MVL_LDE.py
README.md		README.md
TR19-127.pdf		TR19-127.pdf
TensorCode.py		TensorCode.py
auxiliary.py		auxiliary.py
ourProtocol.py		ourProtocol.py
parameters.py		parameters.py
phi_lde16.json		phi_lde16.json
phi_lde16_0.json		phi_lde16_0.json
phi_lde4.json		phi_lde4.json
phi_lde4_0.json		phi_lde4_0.json
polynomial.py		polynomial.py
report.lyx		report.lyx
report.lyx~		report.lyx~
requirements.txt		requirements.txt

Repository files navigation

TR19-implementation

python implementation of TR19 protocol for 3-SAT. done as a project in the technion

About

python implementation of TR19 protocol for 3-SAT. done as a project in the technion

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages