Not Found: There is no documentation for Omega-1.0.3. See https://hackage.haskell.org/package/Omega/candidate/docs/Data-Presburger-Omega-Set.html for the latest version.