This package contains classes for creating an internal representation of the AF3 model that will be translated into an SMTLIB script.