tests/org/
# Haskell
*.hi *.o
.stylish-haskell.yaml
# MacOS
.DS_Store
# Source files generated from lexer/parser
/src/ModelParser/Lexer.hs /src/ModelParser/Parser.hs
# Stack
.stack-work/
# Intellij IDEA .idea/
# Z3 z3.log
