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-solver fork used in js-randomness-predictor
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.
koelle-sort - also known as alphanum sort
Predict the output of Math.random
Tree graph for React / React树状思维导图组件
z3
TypeScript Z-Machine implementation
Coloured Time Petri Net engine — TypeScript port
swagger.json 自动生成axios 示例，实现自动化生成，并支持前后对比，节省前端写api代码的时间
Neuro-symbolic AI for hybrid neural-symbolic reasoning
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
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).
Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Compute the sum of three double-precision complex floating-point numbers.
Abstract algebra structures and components.
a high availability cdn plugin
Core engine for Theorem — parser, translator, solver, scanner, suggester
A Grid Logic Puzzle Solver library, using Typescript and z3.
MCP server providing Z3 SMT solver capabilities
Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.
SWI-Prolog 10.1.4 + Z3 4.16.0 in a single WebAssembly binary. Zero dependencies. Foreign predicates in JS, CLP(FD), Z3 SMT solving from Prolog via C FFI, ergonomic query API.