summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorlianah <lianahady@gmail.com>2013-04-01 14:04:58 -0400
committerlianah <lianahady@gmail.com>2013-04-01 14:04:58 -0400
commit3cf2615b17761da8d310c7d80b55bdac0aa4c54f (patch)
tree4675d3a8dd5d4765c784f1bb10ee4c6d8b5a44ca /test
parentd803fada76b1c45c3da6960865fdc8d061c7b680 (diff)
fixed bug 502; now the core bv solver only gives the model for variables and shared terms.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback