Firewall Analysis, Audit, and Repair.
An object-oriented, type safe, multi-threaded approach to computer algebra.
