In case it doesn't, click here: http://www710.univ-lyon1.fr/~exco/TOMUSS/tomuss.tar.bz2.
Firewall Analysis, Audit, and Repair.
An object-oriented, type safe, multi-threaded approach to computer algebra.