GitHub repository: shnarazk/minisat
Primary language: C++
Created: 2016-02-28T12:07:25Z
Description: Copied from the original web site