Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Precision fix: user deliberate rounding in LP result conversion | Bjoern Brandenburg | 2013-02-12 |
| | | | | | | | 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. | ||
* | Add LP-based blocking analysis for MPCP | Bjoern Brandenburg | 2013-02-12 |