Integerating with the software for generating smtlib files