Giters

anjlab / sat3

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

Home Page:http://romvf.wordpress.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

anjlab/sat3 Stargazers