npm

plpgen

Propositional Logic Problem Generator

• propositional
• Boolean
• logic
• satisfiability
• problem generator
• Sudoku

mafu

published 1.0.0 • 3 years agopublished 1.0.0 3 years ago

propsat

Propositional Satisfiability Checker

• propositional
• Boolean
• logic
• resolution
• tableaux
• satisfiability
• genetic algorithm
• walksat

mafu

published 1.1.0 • 2 years agopublished 1.1.0 2 years ago

2-sat

2SAT solver

• 2SAT
• 2
• satisfiability
• boolean
• nl
• complete

mikolalysenko

published 1.0.1 • 9 years agopublished 1.0.1 9 years ago

@aureooms/js-2sat

2-Satisfiability code bricks for JavaScript

• 2
• 2SAT
• bricks
• ender
• javascript
• js
• satisfiability
• two

aureooms

published 0.0.3 • 6 years agopublished 0.0.3 6 years ago

z3-solver

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

• Z3
• theorem
• prover
• solver
• satisfiability
• smt
• satisfiability modulo theories

nbjorner

published 4.12.1 • 21 days agopublished 4.12.1 21 days ago

horn-sat

Solves HORNSAT

• horn
• sat
• boolean
• satisfiability
• clause
• prolog
• normal
• form

mikolalysenko

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago

@problem-solving/sat

Boolean formula satisfiability algorithms for JavaScript

• NP
• SAT
• algorithms
• boolean formula
• complete
• complexity
• computer science
• javascript
• js
• satisfiability

aureooms

published 4.0.2 • a year agopublished 4.0.2 a year ago

@recubed/object-satisfies

key-based object validation

• object
• satisfiability
• conditions
• predicates
• validation
• micro-library

tanfonto

published 0.1.2 • 3 years agopublished 0.1.2 3 years ago

crackle

JavaScript predicate, comparator, equality, and utility functions

• assert
• array
• utility
• comparision
• contract
• jQuery
• satisfiability
• verification

wayoutmind

published 0.1.0 • 11 years agopublished 0.1.0 11 years ago

naive-3-sat

naive solver for the 3-sat problem

• naive
• 3-sat
• np-complete
• np
• satisfiability
• problem

ffusco

published 1.0.2 • 3 years agopublished 1.0.2 3 years ago

boolean-logic

A lightweight package for evaluating formulas of Boolean logic

• logic
• boolean
• satisfiability

m1010j

published 1.1.5 • 5 years agopublished 1.1.5 5 years ago