Ecosyste.ms: Packages

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

bower.io "sat-solver" keyword

aureooms-js-2sat v0.0.3
:satisfied: 2-Satisfiability library for JavaScript
3 versions - Latest release: almost 9 years ago - 0 stars on GitHub
aureooms-js-sat v4.0.2
:satisfied: Boolean formula satisfiability algorithms for JavaScript
12 versions - Latest release: over 2 years ago - 6 stars on GitHub
Related Keywords
agpl 2 algorithms 2 computer-science 2 javascript 2 reductions 2 2-sat 1 graphs 1 polynomial-time 1 k-sat 1 np-complete 1 sat0w 1