Modules
all
config
kernel
notation
The SortDispatch system enables z3 sort based dispatch akin to ` functools.singledispatch`.
smt
This is a shim file to enable the use of cvc5 and vampire as default solvers.
solvers
tactics
theories
utils