Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Udopia / minisat
A minimalistic and high-performance SAT solver
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Udopia%2Fminisat
Fork of niklasso/minisat
Stars: 5
Forks: 4
Open Issues: 0
License: other
Language: C++
Repo Size: 346 KB
Dependencies: pending
Created: over 5 years ago
Updated: 24 days ago
Last pushed: 10 months ago
Last synced: 24 days ago
Files
Loading...
Readme
Loading...