add isl_polyhedron_minimize application