npmjs.org "satisfiability" keyword
View the packages on the npmjs.org package registry that are tagged with the "satisfiability" keyword.
@recubed/object-satisfies 0.1.2
key-based object validation3 versions - Latest release: about 5 years ago - 1 dependent package - 3 downloads last month - 1 stars on GitHub - 1 maintainer
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: over 1 year ago - 30 downloads last month - 11,309 stars on GitHub - 1 maintainer
Top 3.3% on npmjs.org
27 versions - Latest release: 23 days ago - 2 dependent packages - 31 dependent repositories - 26.1 thousand downloads last month - 10,132 stars on GitHub - 2 maintainers
z3-solver 4.15.3
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](ht...27 versions - Latest release: 23 days ago - 2 dependent packages - 31 dependent repositories - 26.1 thousand downloads last month - 10,132 stars on GitHub - 2 maintainers
boolean-logic 1.1.5
A lightweight package for evaluating formulas of Boolean logic23 versions - Latest release: over 7 years ago - 2 dependent packages - 1 dependent repositories - 15 downloads last month - 3 stars on GitHub - 1 maintainer
propsat 2.1.0
Propositional Satisfiability Checker29 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 5 downloads last month - 1 maintainer
crackle 0.1.0
JavaScript predicate, comparator, equality, and utility functions1 version - Latest release: over 13 years ago - 1 dependent package - 2 dependent repositories - 7 downloads last month - 5 stars on GitHub - 1 maintainer
naive-3-sat 1.0.2
naive solver for the 3-sat problem3 versions - Latest release: over 5 years ago - 1 dependent package - 8 downloads last month - 1 stars on GitHub - 1 maintainer
@problem-solving/sat 4.0.2
Boolean formula satisfiability algorithms for JavaScript4 versions - Latest release: over 3 years ago - 1 dependent package - 1 downloads last month - 6 stars on GitHub - 2 maintainers
@aureooms/js-2sat 0.0.3
2-Satisfiability code bricks for JavaScript1 version - Latest release: over 8 years ago - 2 dependent packages - 1 dependent repositories - 11 downloads last month - 0 stars on GitHub - 1 maintainer
horn-sat 0.0.1
Solves HORNSAT2 versions - Latest release: almost 12 years ago - 3 dependent packages - 1 dependent repositories - 15 downloads last month - 2 stars on GitHub - 1 maintainer
dtk-z3-solver-deno-v2 0.1.4
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...10 versions - Latest release: 5 months ago - 31 downloads last month - 10,043 stars on GitHub - 1 maintainer
2-sat 1.0.1
2SAT solver4 versions - Latest release: over 11 years ago - 5 dependent packages - 1 dependent repositories - 34 downloads last month - 7 stars on GitHub - 1 maintainer
aureooms-js-sat 1.1.1 deprecated
Satisfiability code bricks for JavaScript5 versions - Latest release: almost 10 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: over 4 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: about 10 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: over 5 years ago - 1 dependent package - 1 dependent repositories - 9 downloads last month - 1 maintainer
Related Keywords
js
5
javascript
5
algorithms
5
sat-solver
5
reductions
5
computer-science
5
agpl
5
complete
4
np-complete
4
sat0w
3
2
3
2SAT
3
bricks
3
ender
3
k-sat
3
NP
3
boolean
3
logic
3
satisfiability modulo theories
3
smt
3
solver
3
prover
3
theorem
3
Z3
3
SAT
3
complexity
3
boolean formula
2
computer science
2
two
2
2-sat
2
graphs
2
polynomial-time
2
Boolean
2
propositional
2
horn
1
sat
1
clause
1
prolog
1
normal
1
form
1
nl
1
problem generator
1
Sudoku
1
object
1
conditions
1
predicates
1
validation
1
micro-library
1
functional-programming
1
typescript
1
typescript-library
1
resolution
1
tableaux
1
genetic algorithm
1
walksat
1
assert
1
array
1
utility
1
comparision
1
contract
1
jQuery
1
verification
1
naive
1
3-sat
1
np
1
problem
1