You can buy this project and download/modify it how often you want.
Files of the artifact leon-core version 0.5.13 from the group io.leon.