Tool for approximating Reachable Sets (Feasibility Problem Algorithm)