A tool to visualize 2D vector fields
Static Timing Analyser
Multivariate polynomial system solver
Algorithms to solve boolean polynomial systems
Special version of the M4RI library for the PPAR class.