*.d
*.obj
*~
/run_reluplex.elf
