Path: blob/master/build/pkgs/cddlib/tests/input/sampleh5.ine
8821 views
* file name: sampleh5.ine
* test file for redundancy removal
H-representation
linearity 1 3
begin
10 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
0 2 0 0
0 0 0 3
1 -1 -1 -1
1 -1 -1 0
1 0 -1 -1
1 -1 0 -1
2 -1 -1 -1
end
maximize
0 1 1 1