Brenda is a boolean expression solver for Go AST
A fast and certifying solver for quantified Boolean formulas.
A solution to the Boolean Blindness problem.
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
MiniZinc ↔ .NET
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
Generate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of previous MAX-SAT instances. This is a prototype of how a proof of work algorithm can be derived from a relevant problem.
CDCL SAT Solver from Scratch in Python
Rust powered engine for solving Boolean satisfiability problems
Python tool for converting ANF to (2-)XNF.
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
OCaml experimental sat3 solver
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
The boolean satisfaction and optimization library for .NET
Super efficient SAT solver in 500 lines of code
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Add a description, image, and links to the boolean-satisfiability topic page so that developers can more easily learn about it.
To associate your repository with the boolean-satisfiability topic, visit your repo's landing page and select "manage topics."