lssndrbarbieri@gmail.com Alessandro Barbieri wcbrown@usna.edu Chris Brown The SACLIB library of computer algebra programs, originally derived from SAC-2, contains reference implementations of numerous algorithms and also forms the basis of the quantifier elimination systems QEPCAD and QEPCAD B. SACLIB 2.1 contains about 70,000 lines of C-code.