Symbolic execution tool
python testing security emulation ethereum blockchain symbolic-execution z3 binary-analysis program-analysis smt
-
Updated
Oct 14, 2025 - Python
#
z3
Here are 199 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
An analysis tool for Python that blurs the line between testing and type systems.
python testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systems
-
Updated
Oct 20, 2025 - Python
Verification framework and tool for higher-order Scala programs
-
Updated
Sep 18, 2025 - Scala
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
-
Updated
Oct 18, 2025 - Python
Constraint solver based on coverage-guided fuzzing
llvm jit fuzzing smtlib smtlibv2 z3 constraint-solver libfuzzer floating-point-arithmetic coverage-guided-fuzzing
-
Updated
Nov 28, 2023 - C++
Code and exercises for a workshop on z3 and angr
-
Updated
Dec 29, 2020 - Python
Jupyter notebooks for tutorial on the Z3 SMT solver
-
Updated
Nov 3, 2023 - Jupyter Notebook
Automated Schedule Generation for Time-Sensitive Networks (TSN).
-
Updated
Jun 29, 2023 - Java
a GRId LOgic Puzzle Solver library
-
Updated
Sep 4, 2025 - Python
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
coq ideas startup z3 formal-methods sat-solver entrepreneurship software-verification smt-solver research-paper formal-verification quantum-programming-language research-data research-software-engineering programming-language-theory ideasworthsharing
-
Updated
Aug 17, 2019
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
-
Updated
Jan 8, 2017 - C++
An SMT solver frontend for OCaml
-
Updated
Oct 24, 2025 - OCaml
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
dockerfile eda z3 yosys verilator gowin boolector nmigen symbiyosys yices2 nextpnr-ice40 nextpnr-ecp5 amaranth silice openfpgaloader
-
Updated
Jun 14, 2023 - Dockerfile
SMTscope automatically analyses and visualises SMT solver execution traces.
-
Updated
Oct 11, 2025 - 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."