An advanced SAT solver
-
Updated
Feb 12, 2022 - C++
#
cdcl-algorithm
Here are 17 public repositories matching this topic...
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
python
jupyter-notebook
python3
sat-solver
cdcl-algorithm
minisat
sat
satisfiability
cdcl
vsids
edusat
-
Updated
Sep 16, 2020 - Jupyter Notebook
A simple SAT solver based on the CDCL algorithm
-
Updated
Sep 10, 2019 - C++
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
-
Updated
May 14, 2021 - C++
Simple SAT solver with CDCL implemented in Python
-
Updated
Jun 5, 2018 - Python
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
-
Updated
Dec 30, 2018 - OCaml
Parallel SAT Solver
-
Updated
Jan 19, 2018 - C++
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
-
Updated
Jan 1, 2021 - Jupyter Notebook
CDCL SAT Solver implementation for babies
-
Updated
May 31, 2020 - Jupyter Notebook
Implementation of basic CDCL-based SAT solver in Python
-
Updated
Nov 30, 2020 - Python
A CDCL SAT solver written in Golang(Go).
-
Updated
Feb 4, 2019 - Go
Yet Another Sat solvER
conflict-resolution
solver
first-order-logic
satisfiability-modulo-theories
sat-solver
cdcl-algorithm
propositional-logic
smt
smt-solver
formal-verification
sat
backtracking-search
resolution-proof
satisfiability
dpll-algorithm
propositional-resolution
conflict-based-search
conflict-driven-clause-learning
dpll-solver
theory-solver
-
Updated
Feb 16, 2022 - C
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
-
Updated
Mar 28, 2018 - SMT
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
-
Updated
Mar 17, 2020 - C++
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
-
Updated
May 19, 2020 - C++
Improve this page
Add a description, image, and links to the cdcl-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cdcl-algorithm topic, visit your repo's landing page and select "manage topics."