GitHub repository: DiffBlue-benchmarks/MiniSat-C
Primary language: C
Created: 2017-01-11T21:21:17Z
Description: C version of MiniSAT solver