GitHub topics: cdcl-algorithm
msoos/cryptominisat
An advanced SAT solver
Language: C++ - Size: 58.7 MB - Last synced at: about 2 hours ago - Pushed at: about 2 months ago - Stars: 895 - Forks: 198
gmovernight/CaDiCaL-Reinforcement-Learning-SAT-Solver
Reinforcement-Learning Controller for Variable Selection in the CaDiCaL SAT Solver — integrates a Python A2C policy with an instrumented CaDiCaL solver through a pybind11 bridge to learn variable-selection heuristics from a top-K candidate set on multiple SAT families. This Project served as my COS700 Honours Research at University of Pretoria.
Language: C++ - Size: 6.47 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
marcluque/YASER
Yet Another Sat solvER
Language: C++ - Size: 37.1 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 4 - Forks: 0
QabasAK/SAT-Solver
C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.
Language: Python - Size: 15.9 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
togatoga/gatosat 📦
A CDCL SAT solver written in Golang(Go).
Language: Go - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0
limo1996/SAT-Solver
Parallel SAT Solver
Language: C++ - Size: 23.2 MB - Last synced at: 8 months ago - Pushed at: almost 8 years ago - Stars: 10 - Forks: 1
mrushyendra/Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Language: C++ - Size: 8.05 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
private-yusuke/sat-d 📦
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language: D - Size: 1.17 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 9 - Forks: 0
apurva91/SAT-Solver
CDCL SAT Solver implementation for babies
Language: Jupyter Notebook - Size: 328 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
z11i/pysat 📦
Simple SAT solver with CDCL implemented in Python
Language: Python - Size: 5.39 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 11 - Forks: 4
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language: Jupyter Notebook - Size: 13.9 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 3
thtran97/CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
Language: Python - Size: 59.6 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 2
Kapilhk/SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 14 - Forks: 3
sukrutrao/SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Language: C++ - Size: 91.8 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 14 - Forks: 3
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language: C++ - Size: 931 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
JianyuTANG/SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Language: C++ - Size: 43 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
takahisa/chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
Language: OCaml - Size: 30.3 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0
limo1996/ProgramVerification1
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
Language: SMT - Size: 4.78 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0