GitHub topics: boolean-satisfiability
Wrazlmumfp/anf_to_2xnf
Python tool for converting ANF to (2-)XNF.
Language: Python - Size: 3.52 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0

huub-solver/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Language: Rust - Size: 3.16 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 11 - Forks: 6

MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
Language: C - Size: 5.68 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 27 - Forks: 13

timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
Language: Rust - Size: 341 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 7 - Forks: 2

karlssberg/Motiv
A solution to the Boolean Blindness problem.
Language: C# - Size: 37.6 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 9 - Forks: 0

Kienyew/CDCL-SAT-Solver-from-Scratch
CDCL SAT Solver from Scratch in Python
Language: Python - Size: 1.95 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 5 - Forks: 1

jmjrawlings/MiniZinc.Net
MiniZinc ↔ .NET
Language: C# - Size: 2.55 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 0

BadNintendo/SAT
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.
Language: Python - Size: 15.6 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

Supermarcel10/JavaSATSolver
Algorithms project for City University Y1 IN1002.
Language: Java - Size: 257 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

afifabroory/SudokuAreEz-SAT
SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
Language: Python - Size: 297 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dave/brenda
Brenda is a boolean expression solver for Go AST
Language: Go - Size: 22.5 KB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 5

Quiggleson/sat
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
Language: TeX - Size: 3.87 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

chinefed/easySAT
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.
Language: C - Size: 520 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mrushyendra/Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Language: C++ - Size: 8.05 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

DevonFulcher/Proof-of-SAT
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.
Language: Python - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

seker212/SI_Lab_Sem6 📦
Slitherlink Puzzle interpreting as a SAT Problem
Language: Python - Size: 41 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

maxtuno/SLIME
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.
Language: C++ - Size: 12.5 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

tchupp/ignition
Rust powered engine for solving Boolean satisfiability problems
Language: Rust - Size: 779 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

enricomors/cdmo_vlsi
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
Language: Jupyter Notebook - Size: 29.9 MB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

ai4verification/ai4verification.github.io
AI4Verification,Verfication,EDA,AI4EDA,SAT
Language: HTML - Size: 41 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 2

TimurIbrayev/SATsolver
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
Language: C++ - Size: 845 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 3

liloheinrich/Sudoku
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
Language: Python - Size: 7.51 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

jwang541/Minesweeper-Solver-SAT
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
Language: Python - Size: 184 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

nitinkedia7/satispy
Super efficient SAT solver in 500 lines of code
Language: Jupyter Notebook - Size: 11.1 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

dakk/osat
OCaml experimental sat3 solver
Language: OCaml - Size: 51.8 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

soultanis/Classic-SAT-Solver
Backtracking, watchlist-based, Boolean satisfiability problem solver
Language: Python - Size: 9.77 KB - Last synced at: 22 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ShaswataJash/satisfiability-problem
Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc
Language: C++ - Size: 432 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
