GitHub repository: kunalarya/simple-sat-solver
Primary language: Python
Created: 2017-04-12T04:53:44Z
Description: Simple Python conflict-driven SAT solver.