2-Satisfiability library for JavaScript. See docs. Parent is @aureooms/js-algorithms.
computational-problem-solving/js-2sat
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
2-Satisfiability library for JavaScript. See docs. Parent is @aureooms/js-algorithms.
