Path: blob/master/build/pkgs/cddlib/tests/input/sampleh6.ine
8821 views
* file name: sampleh6.ine
* test file for forced-equality checking
H-representation
begin
5 4 integer
0 1 0 0
0 0 1 0
0 0 0 1
1 -1 -1 -1
-1 1 1 0
end
Path: blob/master/build/pkgs/cddlib/tests/input/sampleh6.ine
8821 views