/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.trace.logic2vampire/
../
.classpath
.project
META-INF
model