De Benedictis, R. PlExA (Version 3.0) [Computer software]. https://github.com/ratioSolver/PlExA