This package contains a text generator to SMT-lib scripts.