.DS_Store
*.tmp
external/Downloads
external/config.json
black_box_testing/tmp_created
black_box_testing/.tmp
black_box_testing/errs
cmake-build-debug
.idea
config.json
__pycache__
*.log
output.lifted
external/.tmp/
model.lp
