GitHub repository: msoos/lingeling-ala
Primary language: C
Created: 2015-05-11T21:54:42Z
Description: lingeling-ala SAT solver