@hackage / Omega

Integer sets and relations using Presburger arithmetic

Latest1.0.3

Dependencies

library:Omega (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause

test:test-Omega (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause