a Pythonic toolkit for working with Boolean expressions
Access to all MiniZinc functionality directly from Python
Logic Programming in Python
Simple SAT solver with CDCL implemented in Python
DPLL(T)-based Verification tool for DNNs
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 😈
SAT-solver based on resolution method in 2-CNF using PLY
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
Component for finding decomposition sets and estimating hardness of SAT instances.
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
Combinatorial Decision Making and Optimization Course Project.
CDCL SAT Solver from Scratch in Python
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.
A SAT-based sudoku solver
Decision Table-Based Testing
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."