# Gradle
/.gradle/
/build/

# Eclipse
.classpath
.project
.settings/

# Test output
*.prob
Testing.cfg
Testing.tla