SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
-
Updated
Jul 8, 2024 - Python
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
BreakID, a CNF symmetry-breaking library and tool
Optimization & Solving common API (SAT, MILP, etc.)
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
The Yices SMT Solver
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Bottom-up sentential decision diagram compiler.
The first scalable probabilistic exact counter
Lingeling SAT Solver fork with CMake build
A modern CDCL SAT solver in Rust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Pygplib: Python First-Order Graph Property Library
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
High-level interfaces over @msoos's CryptoMiniSat.
SAT-solver graphical interface for Web [client-side]
SAT-solver graphical interface for Web [server-side]
Add a description, image, and links to the satisfiability topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability topic, visit your repo's landing page and select "manage topics."