"both constraints"
wording
better explanation of state transitions in the solver
kirsten comments p1
add thesis to wiki
add Usage.md
add initial Solver doco