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