GitHub repository: migarashi47/bsat
Primary language: C
Created: 2017-04-15T10:09:08Z
Description: Basic SAT solver