Module model
z3tracer
Main analyzer module.
Main state of the Z3 tracer.
Information on a term in the model.