Theorem | npm.io

Minimal vertex cover for bipartite graphs

vertex cover bipartite graph konig theorem edge matching dual

1.0.0 • Published 10 years ago

Theorem prover

theorem prover

3.0.2 • Published 7 years ago

Pythagorean theorem triangle solver

pythagorean theorem math calculator solver triangle

1.0.3 • Published 6 years ago

Calculate Pythagorean theorem

pythag Pythagorean theorem math maths ponyfill

1.0.0 • 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

Puzzle games

puzzle game csp sat sat-solver logic theorem constraint js javascript

1.0.0 • Published 2 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.7 • 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

Extensive JavaScript Math Library Written In TypeScript.

math mathematics algorithm constant theorem TypeScript JavaScript Bloated BloatedMath

1.0.1 • Published 1 year ago

Theorem Packages

bipartite-vertex-cover

ayane

nodepythagorean

pythag

dtk-z3-solver-deno

@hakerh400/puzzle-games

dtk-z3-solver-deno-v2

z3-solver

bloatedmath