GitHub repository: solvent-io/sat
Primary language: Go
Created: 2016-12-30T03:31:33Z
Description: simple sat solver golang