tinysat.js
Debug output:
None
Comment lines
js Console
Clause learning:
first-UIP
last-UIP
Decision heuristic:
VSIDS
Fixed
Resource budgets:
Conflicts
Propagations
c this is a comment p cnf 3 8 1 2 3 0 1 2 -3 0 1 -2 3 0 1 -2 -3 0 -1 2 3 0 -1 2 -3 0 -1 -2 3 0 -1 -2 -3 0
solve
Options:
1UIP
2WL
Logging
Budgets:
Propagations:
Conflicts:
Time (s):