Search for feasible points of systems of equations and inequalities
This thesis topic includes the implementation, comparison, and possible
improvement of various methods for finding feasible points of systems of
equations and inequalities. The implementation will be done within an
existing solver for the elimination non-feasible points