Added solving of constraint formulas.