psp is released! :sparkles: n-dimensional parameter space partitioning algorithm for evaluating formal computational models.