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