GitHub repository: EvaZmazek/LVR-SAT-solver
Primary language: Python
Created: 2017-10-24T18:46:58Z
Description: An (incomplete) SAT solver