Rigid unification option for hint solve/exact
#680
Merged
Loading
hint solve/exact
#680