GitHub repository: marijnheule/CnC
Primary language: C
Created: 2018-05-29T12:17:39Z
Description: Cube-and-Conquer SAT solver