Showing 1-20 of 78 packages
z3
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).
CLI for scaffolding Z3 Stack applications (TanStack/Next.js + Convex + Better Auth)
z3-solver fork used in js-randomness-predictor
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
MCP server providing Z3 SMT solver capabilities
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 via emscripten
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
A Grid Logic Puzzle Solver library, using Typescript and z3.
The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.
Predict the output of Math.random
Neuro-symbolic AI for hybrid neural-symbolic reasoning
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers
koelle-sort - also known as alphanum sort
iz3 is a z3+js kernel for the Jupyter notebook
Tree graph for React / React树状思维导图组件
SMT-backed semantic diff tool for TypeScript business logic. Proves equivalence or finds counterexamples.
swagger.json 自动生成axios 示例，实现自动化生成，并支持前后对比，节省前端写api代码的时间
MUSUBIX - Neuro-Symbolic AI Integration System for Software Development