lattice_polytope

From MaRDI portal
Software:32981