For pulp-or license information, please see the LICENSE file in the pulp-or 
subdirectory. For licensing information for any other COIN-OR or third-party 
source code that was automatically checked out with pulp-or, please see the 
LICENSE file in the appropriate subdirectories. 
