The NEOS Server offers Coin Branch and Cut (Cbc) for the solution of
mixed integer linear programs in
Cbc has it's own
Cbc is an open source project that was lead by John Forrest, and is current led by Ted Ralphs.
Using the NEOS Server with Cbc and AMPL
The user must submit a model in
format to solve a mixed-integer linear program (MILP).
Examples of models in AMPL format can be found (among other places) on
the AMPL Web page
The model is specified by a model file, and optionally,
a data file and a commands file. If the command file is specified it must contain the AMPL solve command. However, the command file must not contain the model or data commands. The model and data are automatically set to (standard) named files by NEOS.