Add LTE function for completeness and fix bug in LT
authorbdemsky <bdemsky@uci.edu>
Thu, 24 Aug 2017 23:02:57 +0000 (16:02 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 24 Aug 2017 23:02:57 +0000 (16:02 -0700)
commitb7d8ca816a513565a36f83be7f9c7dc9566204f0
tree85cb48851a41611f5eacc0314e08f9e1b3f999ab
parent3864e5b351f8262b769f0b2f4034f986871f3d14
Add LTE function for completeness and fix bug in LT
src/Backend/constraint.c
src/Backend/constraint.h