Search results

propsat

Propositional Satisfiability Checker

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

mafu

published 2.1.0 • 10 months agopublished 2.1.0 10 months 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.13.0 • 2 months agopublished 4.13.0 2 months ago

plpgen

Propositional Logic Problem Generator

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

mafu

published 1.0.0 • 4 years agopublished 1.0.0 4 years ago

2-sat

2SAT solver

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

mikolalysenko

published 1.0.1 • 10 years agopublished 1.0.1 10 years ago

@aureooms/js-2sat

2-Satisfiability code bricks for JavaScript

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

aureooms

published 0.0.3 • 7 years agopublished 0.0.3 7 years ago

dtk-z3-solver-deno-v2

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

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

rpelavin

published 0.0.7 • 2 months agopublished 0.0.7 2 months 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 • 2 years agopublished 4.0.2 2 years ago

horn-sat

Solves HORNSAT

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

mikolalysenko

published 0.0.1 • 10 years agopublished 0.0.1 10 years ago

@recubed/object-satisfies

key-based object validation

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

tanfonto

published 0.1.2 • 4 years agopublished 0.1.2 4 years ago

crackle

JavaScript predicate, comparator, equality, and utility functions

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

wayoutmind

published 0.1.0 • 12 years agopublished 0.1.0 12 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 • 4 years agopublished 1.0.2 4 years ago

boolean-logic

A lightweight package for evaluating formulas of Boolean logic

• logic
• boolean
• satisfiability

m1010j

published 1.1.5 • 6 years agopublished 1.1.5 6 years ago