Hackage: GitHub: Latest Hackage released version: 1.1 ====================================================================== Version 1.1, 2012-10-22 - Add solvers over rationals, in addition to just integers. - Adjust SBV dependency to >= 2.7 as we depend on the new Real instance for the AlgReal type. ====================================================================== Version 1.0, 2012-10-18 - Initial release, contains solver for integer linear equations.