CoCalc -- empty.ine

GitHub Repository: sagemath/sagesmc
Path: blob/master/build/pkgs/cddlib/tests/input/empty.ine
⁸⁸²⁰ views

H-representation
begin
 2 2 rational
 -1 0
 1 0
end