Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Polyhedron solver SAT fix and initial scope filtering | Kristóf Marussy | 2019-10-29 |
| | |||
* | Be more lenient with rounding IP solver results | Kristóf Marussy | 2019-08-02 |
| | |||
* | Handle floating point rounding errors in Cbc | Kristóf Marussy | 2019-08-02 |
| | |||
* | Make CbcPolyhedronSolver more robust | Kristóf Marussy | 2019-07-29 |
| | |||
* | Make polyhedron solvers more robust | Kristóf Marussy | 2019-07-25 |
| | |||
* | Implement Coin-OR CBC polyhedron saturation operator | Kristóf Marussy | 2019-07-19 |