Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / nparzan / sat
A simple implementation of the 3SAT problem
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nparzan%2Fsat
Stars: 0
Forks: 1
Open Issues: 0
License: apache-2.0
Language: Python
Repo Size: 19.5 KB
Dependencies: pending
Created: over 4 years ago
Updated: 4 months ago
Last pushed: over 4 years ago
Last synced: 4 months ago
Topics: 3sat, exhaustive-search, sat, satisfiability
Files
Loading...
Readme
Loading...