Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

npmjs.org "boolean formula" keyword

View the packages on the npmjs.org package registry that are tagged with the "boolean formula" keyword.

@problem-solving/sat 4.0.2
Boolean formula satisfiability algorithms for JavaScript
4 versions - Latest release: over 3 years ago - 1 dependent package - 1 downloads last month - 6 stars on GitHub - 2 maintainers
@aureooms/js-sat 3.0.0 deprecated
Boolean formula satisfiability algorithms for JavaScript
5 versions - Latest release: over 4 years ago - 2 dependent packages - 1 dependent repositories - 5 downloads last month - 7 stars on GitHub - 1 maintainer
Related Keywords
NP 2 SAT 2 algorithms 2 complete 2 complexity 2 computer science 2 javascript 2 js 2 satisfiability 2 agpl 2 computer-science 2 k-sat 2 np-complete 2 reductions 2 sat-solver 2 sat0w 2