Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
-
Updated
May 11, 2018 - C++
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
Brenda is a boolean expression solver for Go AST
Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc
Backtracking, watchlist-based, Boolean satisfiability problem solver
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
Rust powered engine for solving Boolean satisfiability problems
OCaml experimental sat3 solver
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Super efficient SAT solver in 500 lines of code
A fast and certifying solver for quantified Boolean formulas.
Slitherlink Puzzle interpreting as a SAT Problem
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.
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
CDCL SAT Solver from Scratch in Python
AI4Verification,Verfication,EDA,AI4EDA,SAT
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.
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
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."