Solving, applying, cleaning
Removing constraints