You can buy this project and download/modify it how often you want.
Files of the artifact theta-solver-smtlib-cli version 6.8.2 from the group hu.bme.mit.theta.