GitHub repository: ltentrup/libsolve
Primary language: C
Created: 2018-02-20T09:40:20Z
Description: A collection of data structures and SAT solver interfaces for writing solvers