CVC3 2.2
Smart Pointer Functionality in Expr
Expression Package