Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Haskell
puresat
Pure Haskell SAT solver
Haskell
Emerging
GitHub
Stars
7
Forks
2
Contributors
1
Last push
1mo ago
Recent commits
Latest commits.
Merge pull request #8 from phadej/ghc-9.14
7f8c954
Oleg Grenrus
1mo ago
GHC-9.14
574a37d
Oleg Grenrus
1mo ago
Merge pull request #1 from phadej/fixes
579e364
Oleg Grenrus
22mo ago
Few fixes
ae2fe78
Oleg Grenrus
22mo ago
:sunrise:
d7a6d59
Oleg Grenrus
22mo ago
Top contributors
Builders behind this project.
phadej
5 commits
