GitHub repository: nmanthey/riss-solver
Primary language: C++
Created: 2016-12-28T13:35:23Z
Description: sequential and parallel SAT solver