Jenkinsfile
*.class
*.log
src/main/resources/scripts/TreeLimitedRun

# sbt specific
dist/*
target/
lib_managed/
src_managed/
project/boot/
project/plugins/project/

# Scala-IDE specific
.scala_dependencies
.idea/*
.idea_modules/*
*.iml
/.project
/.classpath
src/main/resources/META-INF/

# Compile specific
out/*
project/project/*
project/target/*
project/build.properties
bin/*

# Save Formats
*.swp
*~
ext_config

# PicoSAT
src/native/picosat-965

# Leo-III StarExec image
contrib/leo3_starexec.tar.gz
