GitHub repository: patrickhegemann/Hsat
Primary language: Haskell
Created: 2017-10-11T14:32:51Z
Description: A SAT Solver written in Haskell