« Global Constraint Seeker | Main | Gecode version 3.6 released »

News from Google or-tools (CP solver)

Laurent Perron mailed two announcement about Google or-tools to the or-tools-discuss (discussion group): New developments
Hello,

It is time for a status update on our code!

Since the last announcements, we have added:
  • linear assignment (including dimacs challenge support): A. V. Goldberg and R. Kennedy, "An Efficient Cost Scaling Algorithm for the Assignment Problem." Mathematical Programming, Vol. 71, pages 153-178, December 1995.
  • Min cost flow: R.K. Ahuja, A.V. Goldberg, J.B. Orlin, and R.E. Tarjan, "Finding minimum-cost flows by double scaling," Mathematical Programming, (1992) 53:243-266. http://www.springerlink.com/index/gu7404218u6kt166.pdf
  • Max flow (many references, see graph/max_flow.h for details).
  • SCIP support (see scip.zib.de). We will make a separate announcement on how to compile scip to be used in or-tools. [See below.]
  • Deviation constraint in the Constraint Programming solver : Pierre Schaus et. al., "Bound Consistent Deviation Constraint", CP07.
  • Initial support for no good management in the CP search tree.
  • 30-50% speedup on large sums in constraint programming.
--Laurent (on behalf of the complete Operations Research team at Google).
Regarding SCIP support, Laurent also posted Using SCIP with or-tools.

Related:
Some days ago I posted a comment on or-tools-discuss about how to run Google or-tools on Linux Ubuntu 11.04: can I use or-tools with Ubuntu 11.04? which may be of some help.