Term Domain Package

This theory groups the predicates for constraint solvers over term domains. We find the following topics:

Comments