- move (disabled) into printrule - add back deleted line to fix loop - bring solver back into deterministic state after refining problems
- move (disabled) into printrule
- add back deleted line to fix loop
- bring solver back into deterministic state after refining problems


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver