Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / dbueno / funsat
An efficient, embeddable DPLL SAT solver in Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat
Stars: 35
Forks: 8
Open Issues: 3
License: bsd-3-clause
Language: Groff
Repo Size: 6.49 MB
Dependencies:
0
Created: over 15 years ago
Updated: about 1 year ago
Last pushed: almost 9 years ago
Last synced: 2 days ago
Files
Loading...
Readme
Loading...
No dependencies found