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).

v4.13.3 URL: https://unpkg.com/z3-solver@4.13.3/build/browser.js

Open Browse Files

Z3 theorem prover solver satisfiability smt satisfiability modulo theories

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).

v0.0.7 URL: https://unpkg.com/dtk-z3-solver-deno-v2@0.0.7/build/browser.js

Open Browse Files

Z3 theorem prover solver satisfiability smt satisfiability modulo theories

@problem-solving/sat

Boolean formula satisfiability algorithms for JavaScript

v4.0.2 URL: https://unpkg.com/@problem-solving/sat@4.0.2/dist/index.umd.js

Open Browse Files

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

propsat

Propositional Satisfiability Checker

v2.1.0 URL: https://unpkg.com/propsat@2.1.0/index.js

Open Browse Files

propositional Boolean logic resolution tableaux satisfiability genetic algorithm walksat

@recubed/object-satisfies

key-based object validation

v0.1.2 URL: https://unpkg.com/@recubed/object-satisfies@0.1.2/dist/index.js

Open Browse Files

object satisfiability conditions predicates validation micro-library