My public programs and models - mostly combinatorial problems and puzzles
-
Updated
Aug 20, 2024 - JavaScript
My public programs and models - mostly combinatorial problems and puzzles
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
a GRId LOgic Puzzle Solver library
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).
Automatic hacking tool for URL regexes.
Combinatorial Decision Making and Optimization Course Project.
Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
A solver for John Conway's "Game of Life" based on z3.
Implementation of Shamir Secret Sharing using Z3
Trabalhos Práticos da cadeira de Lógica Computacional
This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.
A novel automatic Refactoring 'Client Insourcing' (WebConf 2020)
Python library for solving Binary Puzzles using Z3.
Test case generation of classic N-Puzzle game using Z3
Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.
Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.
Simple crackme for my groupmate
Add a description, image, and links to the z3py topic page so that developers can more easily learn about it.
To associate your repository with the z3py topic, visit your repo's landing page and select "manage topics."