BSD3 licensed by Iavor S. Diatchki
Maintained by diatchki@galois.com

Module documentation for 1.3.1

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

Depends on:
Used by 3 packages:
comments powered byDisqus