diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-05 14:38:16 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-05 14:38:16 -0600 |
commit | d26ee67911fedfef966a0e4d64ffda02007d65a0 (patch) | |
tree | d8d5511eeb12ecace73845785546df95e8f67f1f /src/prop/prop_engine.h | |
parent | 04039407e6308070c148de0d5e93640ec1b0a341 (diff) |
Fix issues with real to int (#3918)
This fixes a few issues in the real to int preprocessing pass. Previously it was not robust to cases where the input had constraints that were not over the reals.
Fixes #3915 and fixes #3913 and fixes #3916.
Diffstat (limited to 'src/prop/prop_engine.h')
0 files changed, 0 insertions, 0 deletions