npmjs.org "satisfiability modulo theories" keyword
View the packages on the npmjs.org package registry that are tagged with the "satisfiability modulo theories" keyword.
dtk-z3-solver-deno 0.0.5 unpublished
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...5 versions - Latest release: over 1 year ago - 30 downloads last month - 11,397 stars on GitHub - 1 maintainer
Top 3.3% on npmjs.org
27 versions - Latest release: about 2 months ago - 2 dependent packages - 31 dependent repositories - 27.5 thousand downloads last month - 10,132 stars on GitHub - 2 maintainers
z3-solver 4.15.3
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](ht...27 versions - Latest release: about 2 months ago - 2 dependent packages - 31 dependent repositories - 27.5 thousand downloads last month - 10,132 stars on GitHub - 2 maintainers
dtk-z3-solver-deno-v2 0.1.4
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...10 versions - Latest release: 6 months ago - 72 downloads last month - 10,043 stars on GitHub - 1 maintainer