Follow us on Twitter and LinkedIn to get the latest updates from the dev team!
Solve result codes.
List codes by running (solver) -!
[BREAKING] Standardized codes. Major changes:
100-199 (solved?) means solution candidate provided, but can be suboptimal/infeasible
300-349 means unbounded problem but feasible solution returned
400-449 means limit/interrupt but feasible
[BREAKING] sol:chk:fail returns code 150 (solved?)
Compact solution check warnings
Fixed presolve of the power function #226.
MP update: fixed graceful exit on Ctrl-C from AMPL in Linux and fixed issue with reading text-format NL files
Improved translation of logical constraints: inlining of nested disjunctions and conjunctions; fewer auxiliary binary variables.
Fixed a bug in NL reader on Windows.
mp_options. Receive mp_options from AMPL (for all MP solvers). They are parsed before (solvername)_options.
Solution checking: relative tolerance sol:chk:feastolrel; options sol:chk:round, sol:chk:prec.
Updated to CBC library version 2.10.10
Solution checking, options sol:chk:* (experimental).
Preprocess And/Or constraints.
Fixed a bug causing repeated names for auxiliary variables and constraints.
Option values can be assigned without ‘=’.
Fixed a bug where equivalent conditional comparisons were not unified.
Fixed inequalities of integer expressions with non-integer constants, see test_int_non_int.mod.
Fixed how certain options are passed to the underlying CBC library
Fixed returning of constraint duals
Changes in MP.
Changes in the MP library: added variable names support and removed spurious starting solution
Changes in the MP library
Changes in MP: added the ==> else operator Implemented implication with ‘else’: constr1 ==> constr2 [else constr3]
Changes in MP: PLApproxRelTol, PLApproxDomain Parameters to control piecewise-linear approximation. cvt:plapprox:reltol default value changed from 1e-5 to 0.01.
First release of MP-based cbc driver
previous
CBC Options
next
SCIP