BSD-3-Clause licensed by Iavor S. Diatchki
Maintained by [email protected]

Module documentation for 1.3.1

This version can be pinned in stack with:[email protected]:78a88b2fa0b18c2341e2a1dc6205fbdc9ebc6f28d43a906ec6e655eeffad2509,952

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

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