← Labs
SAT SOLVER (DPLL)
Variables n
8
Clauses (α = clauses/vars)
4.27
Generate New Instance
Solve (DPLL)
Step
Variables:
8
Clauses:
0
Decisions:
0
Backtracks:
0
Unit props:
0
Result:
—