Calculate rigorously the feasible region for a set of real-valued inequalities with Julia - View it on GitHub