Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: sat
3 versions
Latest release: over 16 years ago
2,467 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/sat
Dependent Repos 1
tanakh/necosat
A SAT Solver- * necosat.cabal
Size: 113 KB - Last synced: about 1 year ago - Pushed: over 10 years ago