@hackage / Omega

Integer sets and relations using Presburger arithmetic

Latest1.0.3

Changelog

This release does not have a Changelog