fixed inequality bugs due to improper explanation
authorlianah <lianahady@gmail.com>
Tue, 26 Mar 2013 19:36:47 +0000 (15:36 -0400)
committerlianah <lianahady@gmail.com>
Tue, 26 Mar 2013 19:36:47 +0000 (15:36 -0400)
commita15bf2140e45d76f98f0887be6461618c884589d
tree98bf9421e6b8cac0c14b5f61ee9eb2c7b23d65a1
parente69531ce6cefe15dcc7afe9b79d2b36c778148fa
fixed inequality bugs due to improper explanation
src/theory/bv/bv_inequality_graph.cpp
src/theory/bv/bv_subtheory_core.cpp
src/theory/bv/slicer.cpp
src/theory/bv/theory_bv.cpp