GitHub repository: sfrehse/picosat
Primary language: C
Created: 2015-03-31T20:26:59Z
Description: PicoSAT - A boolean satisfiablity solver