npmjs.org : logic-solver-plus
A fork of logic-solver that is compiled to wasm instead of JS with additional features
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/logic-solver-plus
Keywords:
solver
, sat-solver
, logic
, constraint-solver
, constraint-programming
, logic-solver
, minisat
License: MIT
Latest release: 9 months ago
First release: 9 months ago
Downloads: 12 last month
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 29 days ago
Loading...
Readme
Loading...