The NEOS Server offers FEASPUMP2 for the solution of mixed-integer linear feasibility problems in AMPL format.
The feasibility pump (FP) algorithm was originally developed by Fischetti, Glover, and Lodi for finding feasible points of binary LPs. It was then generalized to mixed-integer LPs by Bertacco, Fischetti, and Lodi ("BFL"). Achterberg and Berthold ("AB"; ZIB Berlin) developed this algorithm further. FEASPUMP2 is a further development of both variants by Fischetti and Salvagnin. FP2 uses the CPLEX library.
This implementation permits to call the original BFL version of FP or the AB version.
This solver was implemented by Hans Mittelmann and at under
Only a model and a datafile may be submitted no command file. The reason is that an MPS file is produced from the AMPL model and a file is put out that shows the correspondence of the variable names in the AMPL script and the MPS file respectively. Note: Do not use an "end" at the end of the model file!
The administrator of FEASPUMP reserves the right to keep and use problem instances submitted through NEOS for testing and debugging purposes.
Enter the complete path to the AMPL model file (linear, minimization, no commands, no "end") AMPL model:
DOE disclaimer DOE Web privacy policy