test.pb 35 Bytes
Newer Older
Masahiko Sakai's avatar
Masahiko Sakai committed
1
1  x1 -1  x2 1  x3 -1  x4  >= -1 ;