An advanced SAT solver
-
Updated
May 4, 2024 - C++
An advanced SAT solver
A simple SAT solver that implements the DPLL algorithm with unit resolution
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
A simple theorem prover made for a university programming assignment
DPLL boolean satisfiability solver for .NET
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
This program checks if an input CNF is satisfiable or not to check logical entailment.
Implement a SAT solver to find a satisfying assignment for any given CNF sentences, You are also asked to implement the WalkSAT algorithm ( AIMA Figure 7.18 ) to search for a solution for an instance of wedding. Suppose you have a wedding to plan, and want to arrange the wedding seating for a certain number of guests in a hall. The hall has a ce…
Simple implementation and parallelization of the DPLL algorithm for the satisfiability problem.
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic
Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic
A simple Haskell-based DPLL solver that reads and writes to standard input/output.
DPLL_propositional_logical_inference: Starting from a FNC (Conjunctive Normal Form), that is, a series of clauses (literals joined by the or operator) joined by an and operator. Apply the DPLL algorithm and determine the values of the literals that give a solution to the FNC. A clear explanation of the DPLL algorithm can be found at http://www…
Add a description, image, and links to the dpll topic page so that developers can more easily learn about it.
To associate your repository with the dpll topic, visit your repo's landing page and select "manage topics."