This package contains a class for creating SMTLIB scripts