Satisfiability

2SAT solver

2SAT 2 satisfiability boolean nl complete

1.0.1 • Published 10 years ago

naive solver for the 3-sat problem

naive 3-sat np-complete np satisfiability np problem

1.0.2 • Published 4 years ago

A lightweight package for evaluating formulas of Boolean logic

logic boolean satisfiability

1.1.5 • Published 6 years ago

2-Satisfiability code bricks for JavaScript

2 2SAT bricks ender javascript js satisfiability two

0.0.3 • Published 9 years ago

Satisfiability code bricks for JavaScript

NP SAT bricks complete complexity ender javascript js satisfiability

1.1.1 • Published 9 years ago

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

0.0.2 • Published 2 months ago

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

4.13.0 • Published 2 months ago

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

0.0.7 • Published 2 months ago

key-based object validation

object satisfiability conditions predicates validation micro-library

0.1.2 • Published 4 years ago

Boolean formula satisfiability algorithms for JavaScript

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

4.0.2 • Published 2 years ago

2-Satisfiability code bricks for JavaScript

2 2SAT bricks ender javascript js satisfiability two

0.0.3 • Published 7 years ago

Boolean formula satisfiability algorithms for JavaScript