3 ms·
You can implement DPLL in 30 lines of code? Not for SMT, I assume.
by kragen 1y ago
You can implement DPLL in 30 lines of code? Not for SMT, I assume.
- nextos 1y agoYou'd need a fancy encoding for SAT to use a small DPLL implementation. Otherwise, customize DPLL for this particular problem.