yav/satisfaction
A DPLL SAT solver written in Haskell
A fictional scenario implemented in multiple languages in order to compare language paradigms.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A DPLL SAT solver written in Haskell
Public repository.
Monitor parallel Cabal builds
A tool for viewing Haskell source code