Loop Parallelization for MPC

Logic puzzle solver using Z3 Theorem Prover

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.

A Kotlin library for running workers on Kafka

Randomized Response by boolean circuits and z3

Assignment 1, Logic for Computer Science, Spring 2021, IIT Bombay

The Z3 Theorem Prover ~ Forked to enable automated Docker image builds and pushing to DockerHub 🚚

This was a project related to one of my lectures at university. It shows how to solve some common optimization problems with the z3 library.

Context-free parsing with z3 SMT solver

Solver-aided Imp

A Flask API for solving systems of linear equations with two variables

CP and SMT model to solve the Present Wrapping Problem (PWP): given a wrapping paper roll of a certain dimen- sion and a list of presents, decide how to cut off pieces of paper so that all the presents can be wrapped. Consider that each present is described by the dimensions of the piece of paper needed to wrap it. Moreover, each necessary piece…

My attempt at understanding the Z3 API for .NET (F#)

CS458 at Clarkson University Spring 24

Python: Linear Programming Interface (ppl,z3)

Verify Regulation Kernels using SMT. This repository is a public mirror, pull requests will be merged manually.

A bounded model checker for an IMP-style imperative language.

A tiny utility library for building z3-powered JavaScript.

solving-satisfaction-problems-with-theorem-provers