Cont package:grisette

Pattern synonym for ConTerm'. Note that using this pattern to construct a Term will do term simplification.
Check if the set contains the given symbol
Construct and internalizing a ConTerm.
Check if the model contains the given symbol
Pattern matcher for concrete Bool terms.
evalContT with MergingStrategy knowledge propagation.
runContT with MergingStrategy knowledge propagation.