Add relaxations support

Relaxations are no longer self existed techniques but part of the group of backend solvers. User may set relaxation solver as default backend solver.