logical_zonotope
