← Back to context Comment by kragen 11 hours ago You can implement DPLL in 30 lines of code? Not for SMT, I assume. 1 comment kragen Reply nextos 6 hours ago You'd need a fancy encoding for SAT to use a small DPLL implementation.Otherwise, customize DPLL for this particular problem.
nextos 6 hours ago You'd need a fancy encoding for SAT to use a small DPLL implementation.Otherwise, customize DPLL for this particular problem.
You'd need a fancy encoding for SAT to use a small DPLL implementation.
Otherwise, customize DPLL for this particular problem.