Steve Dirkse

Expanding the Focus: Introducing the MIPfeas Benchmark

Mar 17, 2026 Last updated: May 19, 2026 Solvers

Update (May 2026): The article has been extended and includes now result from the ReXi solver. ReXi is a parallel solver for mixed-integer programming, built on SCIP and SoPlex, focused on quickly finding strong primal solutions. ReXi is a private research project by Gioni Mexi and Daniel Rehfeldt . Moreover, the CPU based solvers runs have been moved to a fast CPU. The instances are small enough to run on the faster desktop CPU Intel Core Ultra 9 285K rather than the server CPU AMD EPYC 9B45.

Speed vs. Guarantees: A Practical MIP–NLP Trade-off for NN Robustness

Nov 12, 2025 GAMSPy

A hands-on comparison of ReLU modeling in GAMSPy, MIP vs NLP, for adversarial verification on realistic networks. The workflow, code snippets, and trade-off between speed and guarantees are all explained in details.

The McCarl GAMS User Guide: History and Legacy

Jan 24, 2024 News

Introduction

In early 2024, the last steps in the integration of the McCarl GAMS User Guide with the GAMS documentation will be completed. The McCarl Guide will no longer be pointed to or available from the GAMS docs, although it is available on Bruce McCarl’s web site or the GAMSWORLD forum (see links below). While these last steps may go unnoticed by many GAMS users, the integration process has resulted in a much better documentation that all have benefited from. Reaching this milestone provides us a good opportunity to look back at the history of the McCarl Guide. In this article, we consider the original purpose of the Guide, the positive impact it has had during the many years of its use, and the reasons for its retirement.