diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-11 18:20:25 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 16:20:25 -0800 |
| commit | 0858188716609ae8a45e542bc4e054e675f2676d (patch) | |
| tree | 82f206b79dc8f7f1235d79cb3e8da73187f28c86 /examples/api/java/FloatingPointArith.java | |
| parent | 0f25a37b05db224fe16c3c0357c24d89ad9e5cee (diff) | |
Fix non-linear equality solving that involves mixed real/integer arithmetic (#3739)
* Fix non-linear equality solving that involves mixed real/integer.
* Format
* Fix
* Revert
Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>
Diffstat (limited to 'examples/api/java/FloatingPointArith.java')
0 files changed, 0 insertions, 0 deletions