GitHub repository: shnarazk/mios
Primary language: Haskell
Created: 2015-10-26T08:40:35Z
Description: A SAT solver written in Haskell.