cdcl
Here are 30 public repositories matching this topic...
Language:All
Sort:Most stars
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
- Updated
Feb 21, 2025 - Rust
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
- Updated
Sep 16, 2020 - Jupyter Notebook
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
- Updated
Jan 1, 2021 - Jupyter Notebook
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
- Updated
Apr 9, 2021 - C
SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B
- Updated
Mar 8, 2025 - C++
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
- Updated
Nov 3, 2021 - D
CDCL SAT Solver from Scratch in Python
- Updated
Jan 28, 2025 - Python
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
- Updated
Feb 9, 2025 - Java
A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.
- Updated
May 29, 2023 - C++
CDCL SAT Solver implementation for babies
- Updated
May 31, 2020 - Jupyter Notebook
Super efficient SAT solver in 500 lines of code
- Updated
Jun 3, 2020 - Jupyter Notebook
Improve this page
Add a description, image, and links to thecdcl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecdcl topic, visit your repo's landing page and select "manage topics."