GiNaCRA  0.6.4
Namespace List
Here is a list of all namespaces with brief descriptions:
GiNaC
GiNaCRAImplementation of the class Constraint