Implemention of Transitive dice model in Eprime and solution file
Merge branch 'master' of https://github.com/apoclyps/SoC-Constraint-Satisfaction-Problems