extract out code to construct negative test constraint
commitb447895742f23ab26eebba8f51eecabf6fa161a1
authorskimo <skimo>
Mon, 9 Aug 2004 15:09:37 +0000 (9 15:09 +0000)
committerskimo <skimo>
Mon, 9 Aug 2004 15:09:37 +0000 (9 15:09 +0000)
tree011e89434ba67f2c88ca4e86d26727cdb1c0e584
parent9a93f7798e7639d1b7b09540a6c5e1e42bf0302b
extract out code to construct negative test constraint
barvinok.cc