/Solvers/SMT-Solver/com.microsoft.z3/

• ../
• .classpath
• .gitignore
• .project
• META-INF
• build.properties
• com.microsoft.z3.jar_GoesHere.txt
• lib