documentation:latest:polytope:mixedintegerlinearprogram