convex-hull fourier-motzkin-elimination julia optimization polyhedra polyhedral-computations polyhedron polytope polytopes

constraints deep-learning guarantees integration polynomials polytopes tractable-inference tractable-queries wmi