z3
Here are 159 public repositories matching this topic...
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
-
Updated
May 16, 2024 - Rust
Verification framework and tool for higher-order Scala programs
-
Updated
May 15, 2024 - HTML
Demonstration of some MIP/SAT/SMT solvers/optimizers in multiple programming languages.
-
Updated
May 8, 2024 - Python
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
-
Updated
May 7, 2024 - Python
A Swift wrapper over Microsoft's Z3 Theorem Prover
-
Updated
Apr 30, 2024 - C++
A Formal Method playground for limboole, Z3, nuXmv, and Alloy
-
Updated
Apr 29, 2024 - JavaScript
A Multi Back-end Front-end for SMT Solvers in OCaml
-
Updated
May 15, 2024 - OCaml
An analysis tool for Python that blurs the line between testing and type systems.
-
Updated
Apr 21, 2024 - Python
Experiments in using Z3 to check common FHE transformations
-
Updated
Apr 9, 2024 - Python
Finding bugs in P4 compilers using translation validation.
-
Updated
Apr 2, 2024 - P4
Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.
-
Updated
Mar 14, 2024 - Python
My attempt at understanding the Z3 API for .NET (F#)
-
Updated
Mar 14, 2024
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
-
Updated
May 16, 2024 - JetBrains MPS
This Python bot is an automated solver for the popular puzzle game Flow Free. Leveraging the power of the Z3 constraint solver, the bot intelligently solves Flow Free puzzles by strategically connecting matching-colored pipes without any user input.
-
Updated
Jan 22, 2024 - Python
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."