Preger Presburger solvers for Idris. References Chaieb, Nipkow, "Verifying and reflecting quantifier elimination for Presburger arithmetic" https://github.com/gallais/agda-presburger