npmjs.org : naive-3-sat
naive solver for the 3-sat problem
Registry
-
Source
- Homepage
- JSON
purl: pkg:npm/naive-3-sat
Keywords:
naive
, 3-sat
, np-complete
, np
, satisfiability
, problem
License: ISC
Latest release: over 5 years ago
First release: over 5 years ago
Dependent packages: 1
Downloads: 8 last month
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago
Loading...
Readme
Loading...