/Solvers/SMT-Solver/com.microsoft.z3/
../
.classpath
.gitignore
.project
META-INF
build.properties
lib