In version 2.1 we added a few new features, fixed some bugs, and improved the performance of some functions.
So far a constraint or variable was eliminated from the set of active items as soon as the criterion for elimination hold. Now the number of iterations the criterion must hold until the elimination is performed can be specified in the configuration file .abacus (see Section 5.2.26).
Cplex 5.0 is now supported by ABACUS.
In addition to the explicit instantiation of templates, ABACUS now also supports the implicit instantiation (see Section 5.3).
The selection of constraints and variables with highest rank from the buffers of generated constraints and variables is now performed correctly again.
We have tested the dymanic variable generation of ABACUS more intensively and could fix some so far unknown bugs.