Sudoku solver using CaDiCaL SAT solver
-
Updated
Dec 1, 2023 - Python
#
cdcl
Here are 30 public repositories matching this topic...
CDCL SAT Solver implementation for babies
-
Updated
May 31, 2020 - Jupyter Notebook
My first SMT solver (only QF_UF)
satisfiability-modulo-theories
logic-programming
cnf
learning-by-doing
sat-solver
smt-solver
dpll
tseitin-transformation
cdcl
logical-reasoning
congruence-closure
backjumping
cdcl-t
sat-solving
qf-uf
diy-smt
-
Updated
Jul 8, 2020 - Haskell
CDCL SAT Solver from Scratch in Python
-
Updated
Jan 24, 2023 - Python
A single-file Python CDCL SAT solver
-
Updated
Jul 26, 2024 - Python
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
-
Updated
Nov 3, 2022 - Python
A BDD library written in Rust to support a CDCL Sat Solver like Glucose, while running in parallel.
-
Updated
May 29, 2023 - C++
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
java
simplex
logic
linear-programming
bitvector
satisfiability-modulo-theories
non-linear
sat-solver
smt-solver
lia
branch-and-bound
dpll
non-linear-optimization
eq
tseitin-transformation
linear-integer-programming
cdcl
nra
cylindrical-algebraic-decomposition
equf
-
Updated
Oct 25, 2024 - Java
An ROBDD & CDCL based SAT solver
-
Updated
Dec 11, 2021 - Go
Super efficient SAT solver in 500 lines of code
-
Updated
Jun 3, 2020 - Jupyter Notebook
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
-
Updated
Apr 9, 2021 - C
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
-
Updated
Jun 20, 2022 - C++
Improve this page
Add a description, image, and links to the cdcl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cdcl topic, visit your repo's landing page and select "manage topics."