DPLL boolean satisfiability solver for .NET
-
Updated
May 25, 2024 - C#
DPLL boolean satisfiability solver for .NET
DPLL(T)-based Verification tool for DNNs
An advanced SAT solver
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic
Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem
gradient-based symbolic execution engine implemented from scratch
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
SAT Solver NPM Package written in C++
An implementation of the DPLL algorithm for solving SAT problems
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's. There are three main reasons why I made this program. firstly I wanted to better learn python, secondly I would learn the DPLL algorithm better and thirdly and most importantly I can use it in the exam to gain some time. But I would never do something lik…
A (parallel) implementation of the classic DPLL algorithm using Cilk
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."