API Reference#
First-order Formulas#
Atomic Formula Library#
A library of classes for atomic formulas with SymPy terms. Theories can select a set classes from this collection, possibly modify via subclassing, and implement additional atomic formulas on their own. In particular, subclassing allows to restrict the set of admissible function symbols via argument checking in the constructors and initializers of the derived classes.