Non-linear constraint solving based on linear relaxations

In this topic the student will extend the existing solver RSolver with a method for linearly over-approximating non-linear constraints.