python implementation of TR19 protocol for 3-SAT. done as a project in the technion
assafbam / advanced_proof_systems_project Goto Github PK
View Code? Open in Web Editor NEWpython implementation of TR19 protocol for 3-SAT. done as a project in the technion