https://github.com/j-christl/dpllsatsolver

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
https://github.com/j-christl/dpllsatsolver

algorithm algorithms discrete-mathematics dpll dpll-algorithm java math mathematics sat-solver

Last synced: 2 months ago
JSON representation

Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm

• Host: GitHub
• URL: https://github.com/j-christl/dpllsatsolver
• Owner: j-christl
• Created: 2018-02-18T23:58:53.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-02-19T17:29:06.000Z (almost 7 years ago)
• Last Synced: 2023-08-18T03:46:39.611Z (over 1 year ago)
• Topics: algorithm, algorithms, discrete-mathematics, dpll, dpll-algorithm, java, math, mathematics, sat-solver
• Language: Java
• Size: 10.7 KB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project