Trait for classes providing term alias information.
Trait that can be used to track the computation taking place in systems of equations, inequalities, etc.
Class for representing constants.
Various infix operators terms and linear combinations
Various functions to work with vectors of terms
A few functions to work with predicates
Trait for objects that can be sorted by a
Sorted where also the actual
can be queried
Some methods for generating random conjunctions
Enumeration to represent whether two terms cannot, may, or must have the same value.
The term representing the literal 1
Collection of functions that makes it easier to use the term/formula datastructures by adding lots of syntactic sugar
Class for representing total orderings on constants (and variables), and their extension to arbitrary terms.