Test and benchmark repository for Z3.
☆27Jul 24, 2026Updated this week
Alternatives and similar repositories for z3test
Users that are interested in z3test are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Jun 7, 2019Updated 7 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆23May 6, 2021Updated 5 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 3 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An SMT Solver for strings☆11Jun 22, 2018Updated 8 years ago
- ☆28Feb 11, 2026Updated 5 months ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- Hello world programs written in different esoteric languages☆12May 10, 2020Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 8 years ago
- Solver for Constrained Horn Clauses☆51Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 3 months ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Tools that run inside the guest☆11Jan 2, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Formal verification of SecVisor, a secure hypervisor☆14Apr 23, 2013Updated 13 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- ☆44Jul 13, 2026Updated last week
- An SMT Solver for string constraints☆55Updated this week
- Fireline,a static code analysis program to look for bugs in Java code.☆10Nov 21, 2022Updated 3 years ago
- Static checker for Java☆88Jan 16, 2025Updated last year
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Creates fuzzing inputs for command line programs using help options and man pages.☆29Jun 17, 2015Updated 11 years ago
- Work files for my blog post "Code Caving in a PE file.☆16Dec 18, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TinyBasic implementation in Racket (WIP)☆14Apr 25, 2025Updated last year
- The Hoa\Graph library.☆15Apr 29, 2021Updated 5 years ago
- Open a file or a resource with the default OS application.☆12Jul 9, 2026Updated 2 weeks ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆15Jun 23, 2026Updated last month
- all random stuff that dont warrant a seperate repo☆12Sep 2, 2022Updated 3 years ago
- Inject libraries into 32 processes on macOS Mojave☆16Mar 2, 2020Updated 6 years ago
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 8 years ago
- ☆15May 14, 2019Updated 7 years ago
- HeadsUp License API and Manager☆15Oct 12, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 7 years ago
- RISC-V instruction encoding/decoding☆12Mar 22, 2023Updated 3 years ago
- Sphincs+ implementation which uses minimal RAM☆14Aug 31, 2023Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year
- Apple Silicon TSO Enabler for Linux☆18Nov 11, 2025Updated 8 months ago
- Source code for the experimental, compact "wee" file compression utility.☆13May 8, 2020Updated 6 years ago
- Vue Black Dashboard PRO issues☆14Feb 27, 2024Updated 2 years ago