rational-arithmetic
Exact computation of evolutionarily stable strategies (ESS) / strict local maximizers for rational standard quadratic optimization problems (StQP).