Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem - View it on GitHub