%% Constraint Zonotope
% In CORA, constraint zonotopes are instantiated by

% cZ = conZonotope(c,G,A,b);

% where c is the zonotope center, G is the generator matrix, A is the constraint matrix, and b is the constraint offset.
% Example:

% initialize constrained zonotope
c = [0;0];
G = [1 0 1; 1 2 -1];
A = [-2 1 1];
b = 2;
cZ = conZonotope(c,G,A,b);

% plot constrained zonotope
plot(cZ);