GitHub repository: kmcallister/sat
Primary language: Rust
Created: 2016-01-18T22:10:52Z
Description: Interface for defining and solving SAT problems in Rust