diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-01-04 14:44:39 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2013-02-12 06:55:16 -0500 |
| commit | e317c5e5ff5bb7292fb9866913cae5688dc77094 (patch) | |
| tree | c373c94c9ee9cab89905e6c1551175d59f3341b1 /example/ssh:/or | |
| parent | 308ff37a60a61e158bfe108bfcea0bf3b71e942d (diff) | |
Precision fix: user deliberate rounding in LP result conversion
Use proper rounding when converting blocking terms to avoid rounding
issues. This could cause some (very rare) off-by-one bugs when
incorrectly truncating an objective result very close to the next
largest integer.
Diffstat (limited to 'example/ssh:/or')
0 files changed, 0 insertions, 0 deletions