Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
-
Updated
Feb 19, 2018 - Java
#
dpll
Here are 4 public repositories matching this topic...
A simple theorem prover made for a university programming assignment
theorem-proving
propositional-logic
dimacs
theorem
reasoning
theorem-prover
dpll
clause-normal-form
resolution-calculus
propositional-resolution
-
Updated
Jul 28, 2017 - Java
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
Improve this page
Add a description, image, and links to the dpll topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dpll topic, visit your repo's landing page and select "manage topics."