really only remove redundant constraints when factor==0
commit8c0c2d84a44bbbdf01d28e0b719c9c277d97ac3e
authorskimo <skimo>
Wed, 3 Nov 2004 21:01:23 +0000 (3 21:01 +0000)
committerskimo <skimo>
Wed, 3 Nov 2004 21:01:23 +0000 (3 21:01 +0000)
tree1bd87a737341c4e439e611fbf0ad2001cab60e58
parentca88d1380658691618a09d432aadd66e0e91278e
really only remove redundant constraints when factor==0
util.c