Z3 | npm.io

Z3 via emscripten

0.0.5 • Published 8 years ago

iz3 is a z3+js kernel for the Jupyter notebook

z3 iz3 javascript kernel ipython jupyter zblack

5.2.1 • Published 1 year ago

An SMTLIBv2 parser and AST

smtlib smtlibv2 parser parse ast z3 solver

1.0.19 • Published 5 years ago

A Grid Logic Puzzle Solver library, using Typescript and z3.

puzzle solver logic z3 typescript sat

0.1.2 • Published 1 year ago