Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Kraks / SAT.rkt
A simple SAT solver based on DPLL written in Racket.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Kraks%2FSAT.rkt
Stars: 8
Forks: 2
Open Issues: 0
License: other
Language: Racket
Repo Size: 2.31 MB
Dependencies:
0
Created: over 7 years ago
Updated: 10 months ago
Last pushed: over 2 years ago
Last synced: 10 months ago
Topics: racket, sat-solver, scheme
Files
Loading...
Readme
Loading...
No dependencies found