gentoo.mahdi.cz
dev-haskell
:presburger
A decision procedure for quantifier-free linear arithmetic
https://github.com/yav/presburger
presburger-1.3.1-r1
BSD
download
~amd64
haskell