Important: This documentation covers Yarn 1 (Classic).

For Yarn 2+ docs and migration guide, see yarnpkg.com.

found 15 packages in 17ms

z3-solver22.4kMIT4.15.4

This project provides high-level and low-level TypeScript bindings for the Z3 theorem prover. It is available on npm as z3-solver.

Z3Prover2 months agoZ3, theorem, prover, solver

propsat112BSD2.1.0

Propositional Satisfiability Checker

mafuover 2 years agopropositional, Boolean, logic, resolution

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as z3-solver.

dtk9 months agoZ3, theorem, prover, solver

2-sat44MIT1.0.1

2SAT solver

mikolalysenkoover 3 years ago2SAT, 2, satisfiability, boolean

plpgen33BSD1.0.0

Propositional Logic Problem Generator

mafuover 3 years agopropositional, Boolean, logic, satisfiability

Packages

Lightweight debugging utility for Node.js and the browser

Lodash modular utilities.

React is a JavaScript library for building user interfaces.

A querystring parser that supports nesting and arrays, with a depth limit

Higher-order functions and common patterns for asynchronous code

Babel compiler core.