GitHub repository: sbeyer/commonsat
Primary language: C++
Created: 2015-07-26T19:55:05Z
Description: a common C++11 SAT solver interface for different SAT solvers