Comment by kragen Comment by kragen 7 hours ago 1 reply Copy Link View on Hacker News You can implement DPLL in 30 lines of code? Not for SMT, I assume.
Copy Link nextos 2 hours ago Collapse Comment - You'd need a fancy encoding for SAT to use a small DPLL implementation.Otherwise, customize DPLL for this particular problem. Reply View | 0 replies
You'd need a fancy encoding for SAT to use a small DPLL implementation.
Otherwise, customize DPLL for this particular problem.