Experimental SAT solver written in C language. The program uses bitmaps to represent the search state, and bitwise operations are at the backbone of the algorithm implementation.
-
Updated
Jan 26, 2024 - C
Experimental SAT solver written in C language. The program uses bitmaps to represent the search state, and bitwise operations are at the backbone of the algorithm implementation.
AI4Verification,Verfication,EDA,AI4EDA,SAT
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
Backtracking, watchlist-based, Boolean satisfiability problem solver
CDCL SAT Solver from Scratch in Python
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Slitherlink Puzzle interpreting as a SAT Problem
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
Python tool for converting ANF to (2-)XNF.
The boolean satisfaction and optimization library for .NET
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
Super efficient SAT solver in 500 lines of code
OCaml experimental sat3 solver
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
MiniZinc ↔ .NET
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
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."