CDCL SAT Solver from Scratch in Python
-
Updated
Jun 24, 2025 - Python
#
boolean-satisfiability
Here are 9 public repositories matching this topic...
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.
blockchain consensus blockchain-technology proof-of-work consensus-algorithm boolean-satisfiability satisfiability
-
Updated
Nov 24, 2021 - Python
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
-
Updated
Jul 24, 2022 - Python
Python tool for converting ANF to (2-)XNF.
-
Updated
Jun 24, 2025 - Python
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
-
Updated
Feb 3, 2022 - Python
Slitherlink Puzzle interpreting as a SAT Problem
-
Updated
Jun 30, 2021 - Python
Using Javascript to configure the new approach to how to handle and sort large dataset known as SAT often referred to as Boolean satisfiability in a timeframe using predetermined results to speed things up.
-
Updated
Nov 14, 2024 - Python
Backtracking, watchlist-based, Boolean satisfiability problem solver
-
Updated
Jun 9, 2019 - Python
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
logic mathematics sudoku-solver discrete-mathematics sudoku satisfiability-solver propositional-logic boolean-satisfiability satisfiability matematika logika-proposisional logika matematika-diskrit
-
Updated
Jul 8, 2024 - Python
Improve this page
Add a description, image, and links to the boolean-satisfiability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-satisfiability topic, visit your repo's landing page and select "manage topics."