One problem in using ABACUS can be the large number of generated
constraints and variables that use a lot of memory. In order to reduce
the memory usage we provide a new pool class
ABA_NONDUPLPOOL
that avoids the
multiple storage of the same constraint or variable in the same pool.
The details are explained in Section 
.