SMTscope automatically analyses and visualises SMT solver execution traces.
-
Updated
Dec 10, 2025 - Rust
#
z3
Here are 44 public repositories matching this topic...
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
-
Updated
Jun 9, 2026 - Rust
EVM contract auditing via symbolic execution and Z3
-
Updated
Apr 16, 2026 - Rust
A bounded model checker for an IMP-style imperative language.
-
Updated
Feb 23, 2019 - Rust
A tutorial on the basics of Rust Z3 API
-
Updated
Oct 13, 2022 - Rust
Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.
programming-language rust real-time embedded cortex-m compiler embedded-systems language-design z3 smt formal-verification no-std self-healing safety-critical embedded-rust
-
Updated
Jun 12, 2026 - Rust
Generate correct-by-construction code for critical functions using Dafny
-
Updated
Jun 7, 2026 - Rust
⚖️ A simple tool for calculating the optimal number of shares to buy to maintain a proportional portfolio
-
Updated
Aug 13, 2023 - Rust
Production nxusKit examples for Rust, Go, Python, and CLI/Bash: streaming, structured output, provider routing, local models, CLIPS, solvers, Bayesian networks, and ZEN.
python go bash rust cli sdk ai rule-engine examples bayesian-network z3 constraint-solver clips decision-tables llm nxuskit
-
Updated
Jun 9, 2026 - Rust
A symbolic executor for the QBE intermediate language
-
Updated
Jun 1, 2023 - Rust
Active Inference with ternary {-1,0,+1} actions: generative models, variational Bayes, expected free energy minimization
-
Updated
Jun 10, 2026 - Rust
Type-safe SMT solver driver for Rust. Fluent Term API, multi-solver fallback, process watchdog. Free forever.
-
Updated
Feb 1, 2026 - Rust
Ternary gradient descent: straight-through estimator, ternary Adam/SGD optimizers, gradient clipping in trit space, cosine LR scheduling
-
Updated
Jun 10, 2026 - Rust
A research framework for SMT-based vulnerability discovery, algebraic fault analysis, and formal verification of ML-KEM lattices.
rust cryptanalysis reverse-engineering cybersecurity z3 formal-methods algebraic-geometry post-quantum-cryptography smt-solver vulnerability-research
-
Updated
May 12, 2026 - Rust
Ternary min-heap priority queue: 3 children per node, O(log₃ n) push/pop, merge, decrease-key
-
Updated
Jun 11, 2026 - Rust
🛠️ Transform equations with symbolic regression in Rust, featuring WebAssembly support for browser-based demos and rapid experimentation.
react data-science machine-learning react-native julia emulation genetic-algorithm ethereum blockchain regression symbolic-execution evolutionary-algorithms z3 program-analysis klee
-
Updated
Jun 12, 2026 - Rust
ternary-core Core traits and types shared across the ternary fleet
-
Updated
Jun 11, 2026 - Rust
A formally verified, high-performance distributed ownership system in Rust. Features Raft consensus, SMT-based invariant checking (Z3), and safety-critical lease management.
rust distributed-systems high-performance raft consensus grpc z3 smt-solver formal-verification safety-critical distributed-locking ownership-management
-
Updated
Jan 17, 2026 - Rust
Improve this page
Add a description, image, and links to the z3 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the z3 topic, visit your repo's landing page and select "manage topics."