.idea/*
.vscode/*
**/target
*.o
**/*.dot
**/*.png
**/*.smt
**/*.s
.DS_Store
.z3-trace
monster-x86_64-apple-darwin
monster-x86_64-pc-windows-msvc.exe
monster-x86_64-unknown-linux-gnu
