Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
npmjs.org "satisfiability" keyword
dtk-z3-solver-deno-v2 0.0.7
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...3 versions - Latest release: 4 months ago - 48 downloads last month - 9,894 stars on GitHub - 1 maintainer
Top 3.3% on npmjs.org
18 versions - Latest release: 3 months ago - 2 dependent packages - 31 dependent repositories - 825 downloads last month - 9,894 stars on GitHub - 2 maintainers
z3-solver 4.13.0
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](ht...18 versions - Latest release: 3 months ago - 2 dependent packages - 31 dependent repositories - 825 downloads last month - 9,894 stars on GitHub - 2 maintainers
dtk-z3-solver-deno 0.0.5 unpublished
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...5 versions - Latest release: 4 months ago - 30 downloads last month - 9,540 stars on GitHub - 1 maintainer
@problem-solving/sat 4.0.2
Boolean formula satisfiability algorithms for JavaScript4 versions - Latest release: over 2 years ago - 1 dependent package - 6 downloads last month - 6 stars on GitHub - 2 maintainers
horn-sat 0.0.1
Solves HORNSAT2 versions - Latest release: over 10 years ago - 3 dependent packages - 1 dependent repositories - 15 downloads last month - 2 stars on GitHub - 1 maintainer
@aureooms/js-2sat 0.0.3
2-Satisfiability code bricks for JavaScript1 version - Latest release: over 7 years ago - 2 dependent packages - 1 dependent repositories - 7 downloads last month - 0 stars on GitHub - 1 maintainer
crackle 0.1.0
JavaScript predicate, comparator, equality, and utility functions1 version - Latest release: about 12 years ago - 1 dependent package - 2 dependent repositories - 5 downloads last month - 5 stars on GitHub - 1 maintainer
@recubed/object-satisfies 0.1.2
key-based object validation3 versions - Latest release: almost 4 years ago - 1 dependent package - 4 downloads last month - 1 stars on GitHub - 1 maintainer
2-sat 1.0.1
2SAT solver4 versions - Latest release: about 10 years ago - 5 dependent packages - 1 dependent repositories - 10 downloads last month - 6 stars on GitHub - 1 maintainer
propsat 2.1.0
Propositional Satisfiability Checker29 versions - Latest release: 12 months ago - 1 dependent package - 1 dependent repositories - 70 downloads last month - 1 maintainer
boolean-logic 1.1.5
A lightweight package for evaluating formulas of Boolean logic23 versions - Latest release: about 6 years ago - 2 dependent packages - 1 dependent repositories - 41 downloads last month - 3 stars on GitHub - 1 maintainer
naive-3-sat 1.0.2
naive solver for the 3-sat problem3 versions - Latest release: over 4 years ago - 1 dependent package - 11 downloads last month - 1 stars on GitHub - 1 maintainer
aureooms-js-sat 1.1.1 deprecated
Satisfiability code bricks for JavaScript5 versions - Latest release: over 8 years ago - 2 dependent packages - 1 dependent repositories - 11 downloads last month - 6 stars on GitHub - 1 maintainer
@aureooms/js-sat 3.0.0 deprecated
Boolean formula satisfiability algorithms for JavaScript5 versions - Latest release: about 3 years ago - 2 dependent packages - 1 dependent repositories - 5 downloads last month - 7 stars on GitHub - 1 maintainer
aureooms-js-2sat 0.0.3 deprecated
2-Satisfiability code bricks for JavaScript3 versions - Latest release: almost 9 years ago - 2 dependent packages - 1 dependent repositories - 1 downloads last month - 0 stars on GitHub - 1 maintainer
plpgen 1.0.0 removed
Propositional Logic Problem Generator7 versions - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 9 downloads last month - 1 maintainer
Related Keywords
sat-solver
5
reductions
5
algorithms
5
computer-science
5
javascript
5
js
5
agpl
5
np-complete
4
complete
4
bricks
3
2SAT
3
2
3
ender
3
boolean
3
sat0w
3
k-sat
3
complexity
3
logic
3
SAT
3
NP
3
satisfiability modulo theories
3
smt
3
solver
3
prover
3
theorem
3
Z3
3
Boolean
2
propositional
2
polynomial-time
2
graphs
2
2-sat
2
two
2
computer science
2
boolean formula
2
functional-programming
1
typescript
1
typescript-library
1
nl
1
horn
1
resolution
1
tableaux
1
genetic algorithm
1
walksat
1
naive
1
3-sat
1
np
1
problem
1
problem generator
1
Sudoku
1
form
1
normal
1
prolog
1
clause
1
sat
1
assert
1
array
1
utility
1
comparision
1
contract
1
jQuery
1
verification
1
object
1
conditions
1
predicates
1
validation
1
micro-library
1