openKylin haskell-presburger package

haskell-presburger package in openKylin

There is no current release for this source package in openKylin.