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
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 😈
Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.
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.
Code for my post on hospital shift scheduling using OR-Tools
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.
Solving Nonograms with SAT solvers
An efficient SMT solver that can solve pure boolean, UF and TQ formulas.
Add a description, image, and links to the sat-solver topic page so that developers can more easily learn about it.
To associate your repository with the sat-solver topic, visit your repo's landing page and select "manage topics."