This package contains classes for generating the Yices text files.