palpro / sat3 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from anjlab/sat3
Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem
Home Page: http://romvf.wordpress.com/
License: GNU Lesser General Public License v3.0