[Coin-discuss] SCIP: an open-source Constraint Mixed Integer Programming Solver (Tobias Achterberg)
Robin Lougee-Heimer
robinlh at us.ibm.com
Wed Sep 21 13:44:14 EDT 2005
Hold it -- there's distinction here that should be made (or a hair
splitting, depending on your point of view).
IPOPT is available free of charge for *everyone* -- academics/nonacademics
alike. IPOPT is available under an open-source license -- one that it is
approved as meeting the "open source definition" (OSD). The OSD doesn't
allow discriminate by user -- hence any license that is "for academics
only" is not "open source".
IPOPT developers were able to design their code so that the
components/functions they are dependent on (and didn't write) can be
down-loaded separately (e.g., under their own licensing agreements).
To use IPOPT with HSL -- that *combination*is like SCIP. But IPOPT
itself is true open-source. (Q: Doesn't IPOPT's design allow you to use
anything thing that performs the same function as the HSL?)
If the reason the SCIP owners use the ZIB-license is becuase some
component used by SCIP is under the ZIB license, then may be able to do
something like IPOPT did -- but I don't know the reasons for their
licensing decision.
I think it'd be great to have SCIP open and on COIN-OR -- but be that as
it may, it's still great they made it possible to use it with the open
COIN LP solver, CLP and are sharing it with the academic community.
Robin
----------------------------------------------------------------------------------
Robin Lougee-Heimer
IBM TJ Watson Research Center
1101 Kitchawan Road, Yorktown Heights, NY 10598
ph: 914-945-3032 fax: 914-945-3434
robinlh at us.ibm.com
http://www.coin-or.org
Carl Wilburn <csw_iii at yahoo.com>
Sent by: coin-discuss-bounces at list.coin-or.org
09/21/2005 01:01 PM
Please respond to
Discussions about open source software for Operations Research
To
coin-discuss at list.coin-or.org
cc
Subject
[Coin-discuss] SCIP: an open-source Constraint Mixed Integer Programming
Solver (Tobias Achterberg)
The availability of SCIP sounds similar to IPOPT.
IPOPT is available free of charge for
academic/non-commercial use. It does, however, make
use of subroutines from the HSL which are again, free
for academic/non-commercial use but require a fee for
commercial use.
Someone correct me if I'm wrong, but SCIP could be
made available thru COIN in a similar fashion.
--- coin-discuss-request at list.coin-or.org wrote:
> Send Coin-discuss mailing list submissions to
> coin-discuss at list.coin-or.org
>
> To subscribe or unsubscribe via the World Wide Web,
> visit
>
>
http://list.coin-or.org/mailman/listinfo/coin-discuss
> or, via email, send a message with subject or body
> 'help' to
> coin-discuss-request at list.coin-or.org
>
> You can reach the person managing the list at
> coin-discuss-owner at list.coin-or.org
>
> When replying, please edit your Subject line so it
> is more specific
> than "Re: Contents of Coin-discuss digest..."
>
>
> Today's Topics:
>
> 1. SCIP: an open-source Constraint Mixed Integer
> Programming
> Solver (Tobias Achterberg)
>
>
>
----------------------------------------------------------------------
>
> Message: 1
> Date: Wed, 21 Sep 2005 13:04:47 +0200
> From: Tobias Achterberg <achterberg at zib.de>
> Subject: [Coin-discuss] SCIP: an open-source
> Constraint Mixed Integer
> Programming Solver
> To: coin-discuss <coin-discuss at list.coin-or.org>
> Message-ID: <43313E4F.8010806 at zib.de>
> Content-Type: text/plain; charset=us-ascii
>
> Dear colleagues,
>
> the following announcement has only limited relation
> to the COIN project, but if you are looking for
> open-source software for Mixed Integer Programming,
> you might be interested. However, if you think
> the COIN LP solver of John Forrest is a greate piece
> of software (which is true), you have another
> opportunity to bring it to good use by using SCIP
> linked to CLP.
>
> =====
>
> I'd like to announce the release of SCIP (Solving
> Constraint Integer Programs).
> SCIP is a framework for Constraint Integer
> Programming oriented towards the needs
> of Mathematical Programming experts who want to have
> total control of the
> solution process and access detailed information
> down to the guts of the solver.
> It integrates techniques from Mixed Integer
> Programming, Constraint Programming
> and SAT Solving.
> SCIP can also be used as pure MIP solver or as
> framework for branch-cut-and-price.
>
> You can download the complete source code of the
> current version 0.80 from
>
> http://scip.zib.de
>
> SCIP is free of charge for academic institutions and
> non-commercial use. If you
> want to use it as a commercial institution, you have
> to obtain a commercial License
> from ZIB.
> (Because SCIP is not free of charge for commercial
> use, I could not incorporate it into
> the COIN project.)
>
> SCIP has the following features:
> * framework for branching, cutting, pricing and
> propagation
> * multi LP solver support through an LP interface,
> currently supporting
> - CPLEX
> - Soplex
> - CLP
> * highly flexible through many possible user
> extensions:
> - constraint handlers to implement arbitrary
> constraints, currently supporting
> linear constraints and some specializations
> like knapsack and set packing,
> set covering, and set partitioning
> - separators to apply cutting planes on the LP
> relaxation
> * clique cuts
> * c-MIR cuts
> * Gomory mixed integer cuts
> * implied bound cuts
> * strong CG cuts
> - pricers to dynamically generated problem
> variables
> - domain propagators to reduce the variables'
> domains
> - primal heuristics
> * several diving heuristics, including
> guided dives
> * two different rounding heuristics
> * Local Branching
> * RINS
> * Octane
> - node selectors to guide the search
> - branching rules to split the problem into
> subproblems
> * full strong branching
> * inference branching
> * least/most fractional branching
> * pseudo cost branching
> * reliability branching
> - relaxators to incorporate relaxations
> additional to the LP relaxation (e.g. SDP)
> - presolvers to simplify the solved problem
> - file readers to understand different input
> file formats
> * MPS format
> * LP format
> * ZIMPL models (needs ZIMPL library)
> - event handlers to get informed each time a
> node was solved, a specific
> variable changed its bounds, a new solution
> was found, ...
> * every existing unit is implemented as a user
> extension, leading to an
> interface flexible enough to meet the needs of
> most additional user extensions
> * cut pool management
> * arbitrarily many children per node, branching on
> constraints
> * possibility to solve or not to solve the LP
> relaxation at each single node
> * conflict analysis to learn from infeasible
> subproblems
>
> I would be glad, if you try to implement your own
> cutting plane separators,
> primal heuristics, branching rules, constraint
> handlers, and so on with the SCIP
> framework and send it to me such that I can
> incorporate the code into the official
> version of SCIP.
> Although there is only a doxygen documentation, you
> should be able (with my help)
> to implement your code (in C or C++) as plugin for
> SCIP.
>
>
> Regards, Tobias Achterberg
>
>
> --
> Tobias Achterberg Konrad-Zuse-Zentrum fuer
> Informationstechnik
> Berlin
> Tel: +49 (0)30 84185-301 Takustr. 7
> Email: achterberg at zib.de D-14195 Berlin, Germany
>
>
> ------------------------------
>
> _______________________________________________
> Coin-discuss mailing list
> Coin-discuss at list.coin-or.org
>
http://list.coin-or.org/mailman/listinfo/coin-discuss
>
>
> End of Coin-discuss Digest, Vol 11, Issue 9
> *******************************************
>
Carl Wilburn
(901)240-5684
csw_iii at yahoo.com
_______________________________________________
Coin-discuss mailing list
Coin-discuss at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/coin-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20050921/77a6ef97/attachment.html>
More information about the Coin-discuss
mailing list