z3py
There are 20 repositories under z3py topic.
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
0vercl0k/z3-playground
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
obijywk/grilops
a GRId LOgic Puzzle Solver library
codersguild/Software-Analysis-PAVT
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
OktaSecurityLabs/hack_url_re
Automatic hacking tool for URL regexes.
alomb/CombinatorialOptimizationProject
Combinatorial Decision Making and Optimization Course Project.
alessandrostockman/cdmo-vlsi
Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
jubnzv/gol-solver
A solver for John Conway's "Game of Life" based on z3.
ahf/binarypuzzle
Python library for solving Binary Puzzles using Z3.
vkobel/z3-shamir-secret-sharing
Implementation of Shamir Secret Sharing using Z3
GilbertoCunha/Computational-Logic
Trabalhos Práticos da cadeira de Lógica Computacional
greninja/CNF-Gen
Generate 2-CNF boolean functions via SAT solving
kjproj84/JS-RCI
A novel automatic Refactoring 'Client Insourcing' (WebConf 2020)
KraProgrammer/smt-sudoku-solver
This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
mwritescode/VLSI
Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.
shafiul/N-Puzzle-Z3
Test case generation of classic N-Puzzle game using Z3
syydev/Z3
SMT solver 기반 보안 약점 분석
AlgebraicWolf/CrackMe
Simple crackme for my groupmate
Venn1998/CVRP_optimization
Capacitated Vehicle Routing Problem tackled with CP, SAT and MIP
sarthakmittal92/unblock-car
Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.