BSD-3-Clause licensed by Iavor S. Diatchki
Maintained by diatchki@galois.com
This version can be pinned in stack with:presburger-1.3.1@sha256:78a88b2fa0b18c2341e2a1dc6205fbdc9ebc6f28d43a906ec6e655eeffad2509,952

Module documentation for 1.3.1

Used by 1 package in lts-2.22(full list with versions):

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.