diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-03-26 16:56:13 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-03-26 16:56:13 -0400 |
| commit | 62c2271daa9dd538a2abf25baca4cddb19a74986 (patch) | |
| tree | 5590ecb6e61bcebe485860e0e9528b52c28cc3e2 /src/theory/logic_info.cpp | |
| parent | 3801e9c98d9c44e1583c744a6d72ec8e31a6c3f4 (diff) | |
Fixes an idempotency issue for non-linear multiplication with integer and real variables.
Diffstat (limited to 'src/theory/logic_info.cpp')
0 files changed, 0 insertions, 0 deletions