A simple SAT solver that implements the DPLL algorithm with unit resolution
-
Updated
Sep 10, 2019 - C++
#
dpll-algorithm
Here are 15 public repositories matching this topic...
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
-
Updated
Sep 4, 2019 - C++
Parallel SAT Solver
-
Updated
Jan 19, 2018 - C++
C++ implementation of the DPLL Algorithm
-
Updated
Aug 3, 2020 - C++
Boolean SAT Solver implemented using the C++ Standard Library
-
Updated
Jan 21, 2023 - C++
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
-
Updated
Mar 17, 2020 - C++
A DPLL-based SAT solver focused on traceability
-
Updated
Apr 10, 2018 - C++
Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc
-
Updated
Feb 17, 2019 - C++
Solutions to Travelling Salesman Problem and the SAT problem using Artificial Intelligence (AI)
genetic-algorithm astar-algorithm artificial-intelligence sat-solver travelling-salesman-problem dpll-algorithm
-
Updated
Jul 4, 2020 - C++
A (parallel) implementation of the classic DPLL algorithm using Cilk
-
Updated
Dec 10, 2021 - C++
Modeling Sudoku problem using propositional logic and employing DPLL algorithm to solve it
-
Updated
Oct 30, 2023 - C++
This repository has the source code for a fast sudoku solver. This repo is forked from https://github.com/t-dillon/tdoku
-
Updated
Jan 17, 2022 - C++
Simple SMT solver based on DPLL algorithm
-
Updated
Oct 21, 2024 - C++
Improve this page
Add a description, image, and links to the dpll-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dpll-algorithm topic, visit your repo's landing page and select "manage topics."