ConstraintSolver.jl
ConstraintSolver.jl copied to clipboard
Logs for visual debugging
Maybe be able to save more logs of how things got pruned step by step which can be implemented in the visual tree representation. Need to be careful that this doesn't slow things down but will be handy for finding out where it can be improved or does something wrong.