ap.interpolants
Class to store information about the value range of constants; this information is later used to simplify expressions
Extract information from the inSigned and inUnsigned predicates in a formula in the succedent
Class to store information about the value range of constants; this information is later used to simplify expressions