Results for z3-src

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

koelle-sort - also known as alphanum sort

Tree graph for React / React树状思维导图组件

The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.

Coloured Time Petri Net engine — TypeScript port

swagger.json 自动生成axios 示例，实现自动化生成，并支持前后对比，节省前端写api代码的时间

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers

Predict the output of Math.random

MCP server providing Z3 SMT solver capabilities

TypeScript Z-Machine implementation

z3

Compute the sum of three double-precision complex floating-point numbers.

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).

Neuro-symbolic AI for hybrid neural-symbolic reasoning

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)

Abstract algebra structures and components.

Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.

Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.

a high availability cdn plugin

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

Core engine for Theorem — parser, translator, solver, scanner, suggester

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.