Projects in Awesome Lists tagged with z3py
A curated list of projects in awesome lists tagged with z3py .
https://github.com/hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Last synced: 09 Apr 2025
https://github.com/codersguild/software-analysis-pavt
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
analysis boogie cbmc cvc4 dafny dynamic-taint-analysis fuzzing hacktoberfest hacktoberfest2021 hoare-logic llvm sudoku-solver uclid uclid5 verification z3-smt-solver z3py
Last synced: 12 Apr 2025
https://github.com/jubnzv/gol-solver
A solver for John Conway's "Game of Life" based on z3.
Last synced: 28 Mar 2025
https://github.com/gilbertocunha/computational-logic
Trabalhos Práticos da cadeira de Lógica Computacional
Last synced: 26 Jul 2025
https://github.com/vkobel/z3-shamir-secret-sharing
Implementation of Shamir Secret Sharing using Z3
example python shamir-secret-sharing z3-smt-solver z3py
Last synced: 01 May 2026
https://github.com/ahf/binarypuzzle
Python library for solving Binary Puzzles using Z3.
Last synced: 22 Mar 2025
