GitHub repository: IRIFrance/gini
Primary language: Go
Created: 2016-07-23T20:09:47Z
Description: A fast SAT solver