a Pythonic toolkit for working with Boolean expressions

Access to all MiniZinc functionality directly from Python

Logic Programming in Python

DPLL(T)-based Verification tool for DNNs

Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.

Simple SAT solver with CDCL implemented in Python

Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

A diabolic implementation of mcSAT 😈

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

SAT-solver based on resolution method in 2-CNF using PLY

Component for finding decomposition sets and estimating hardness of SAT instances.

CDCL SAT Solver from Scratch in Python

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

Combinatorial Decision Making and Optimization Course Project.

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.

Code for my post on hospital shift scheduling using OR-Tools

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

Solving Nonograms with SAT solvers

Frame is a Separation Logic Verification Tool with Security Scanning