diff options
author | lianah <lianahady@gmail.com> | 2013-04-01 14:04:58 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-04-01 14:04:58 -0400 |
commit | 3cf2615b17761da8d310c7d80b55bdac0aa4c54f (patch) | |
tree | 4675d3a8dd5d4765c784f1bb10ee4c6d8b5a44ca /Makefile | |
parent | d803fada76b1c45c3da6960865fdc8d061c7b680 (diff) |
fixed bug 502; now the core bv solver only gives the model for variables and shared terms.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions