Test and benchmark repository for Z3.
☆27Jan 21, 2026Updated last month
Alternatives and similar repositories for z3test
Users that are interested in z3test are comparing it to the libraries listed below
Sorting:
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆21May 6, 2021Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- XED based Disassembly Engine☆21Apr 23, 2018Updated 7 years ago
- Documentation☆45Nov 2, 2025Updated 4 months ago
- Creates fuzzing inputs for command line programs using help options and man pages.☆29Jun 17, 2015Updated 10 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated 2 weeks ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Learning to Solve SMT Formulas Fast☆90Jun 17, 2024Updated last year
- Collection of tools for fetching and processing Street View imagery, adapted from code by @kotarohara☆12Feb 13, 2026Updated 2 weeks ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- JS library that helps get the closest AWS region from a country code☆12Jan 14, 2023Updated 3 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- Cisco Meraki CMX WiFi Presence receiver☆12Apr 17, 2019Updated 6 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- An ESM package that uses Web Streams API to create v1, v2 or hybrid torrents in your web browser☆10Aug 5, 2025Updated 7 months ago
- ☆10Apr 9, 2015Updated 10 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- A collection of more or less small code snippets for Siemens S7 controllers☆11Dec 16, 2022Updated 3 years ago
- ☆11Sep 5, 2019Updated 6 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Small script to unpack the bootloader image format present in Nexus 5 devices☆40Jan 24, 2016Updated 10 years ago
- A verification tool for many memory models☆114Updated this week
- Solver for Constrained Horn Clauses☆50Updated this week
- A project to translate the Voynich Manuscript into English☆11Jun 30, 2023Updated 2 years ago
- Golang K/V client for Consul☆34Jan 30, 2015Updated 11 years ago
- OS X kernel extension for reading MSRs (Model Specific Registers)☆12Sep 27, 2016Updated 9 years ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago
- GNU Wget is a free utility for non-interactive download of files from the Web. It supports HTTP, HTTPS, and FTP protocols, as well as re…☆14May 5, 2017Updated 8 years ago
- IDA Pro plugin to recovery static Thumb2 symbols.☆13Sep 14, 2021Updated 4 years ago
- chat on Solid with @Julian-Cole use of Shighl https://github.com/scenaristeur/shighl☆16Jan 7, 2023Updated 3 years ago