Stars
4
stars
written in Java
Clear filter
Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem
Android base frameworks (cyanogenmod)
nemesit / acoustid-server
Forked from acoustid/acoustid-serverNew version of the Acoustid server written in Python
nemesit / sat3
Forked from anjlab/sat3Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem