npmjs.org : @divmain/sat
This library provides tools for solving Boolean satisfiability problems (SAT). It includes functions for generating all solutions to a given problem and for finding a single solution using the DPLL algorithm.
Registry
- JSON
- codemeta.json
purl: pkg:npm/%40divmain/sat
License: MIT
Latest release: over 1 year ago
First release: over 1 year ago
Namespace: divmain
Downloads: 5 last month
Last synced: 23 days ago