ABACUS A Branch-And-CUt System Version 3.0 User’s Guide and Reference Manual 2007
ABACUS 3.0 Documentation
For use with Version 3.0 of the ABACUS Library
The information in this document is subject to change without notice.