A tool to visualize 2D vector fields
Static Timing Analyser
Mixed precision variant
Multivariate polynomial system solver
Algorithms to solve boolean polynomial systems