My public programs and models - mostly combinatorial problems and puzzles

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).

Repository for the course project done as part of CS-228 (Logic for Computer Science) course at IIT Bombay in Spring 2022.

Solving The VLSI (Very Large Scale Integration) optimization problem using constraint programming and SMT.

Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)

Automatic hacking tool for URL regexes.

Trabalhos Práticos da cadeira de Lógica Computacional

A solver for John Conway's "Game of Life" based on z3.

This repo contains the logic to solve sudoku puzzles using a basic backtracking algorithm and an smt-solver-based approach.

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

Combinatorial Decision Making and Optimization Course Project.

Simple crackme for my groupmate

Python library for solving Binary Puzzles using Z3.

A novel automatic Refactoring 'Client Insourcing' (WebConf 2020)

Generate 2-CNF boolean functions via SAT solving

SMT solver 기반 보안 약점 분석

Implementation of Shamir Secret Sharing using Z3

Test case generation of classic N-Puzzle game using Z3