/generated_definitions

# global things

_build/
_sbuild/
*.o
*.a
/z3_problems