Gentoo Portage Overlays - dev-haskell/presburger

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-haskell/presburger

A decision procedure for quantifier-free linear arithmetic

Screenshots

https://github.com/yav/presburger

presburger-1.3.1-r1

~amd64

doc hscolour hoogle profile test

View

Download

Browse License: BSD

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

presburger-1.3.1-r1

>=dev-lang/ghc-7.4.1:=

dev-lang/ghc:=[profile?
]