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