About

This page was created in 2014 by Ivan Lima, and by the authors of (Uchoa et al. 2017), and is maintained by Daniel Oliveira (2016-2018) and by Eduardo Queiroga (2019-present).