*.log
target/*
bin/*
.cache-main
project/project/*
project/target/*
/bin/
.classpath
.project
.cache-tests
.settings/*
.idea
test/target/*
tutorial/tutorial.aux
tutorial/tutorial.bbl
tutorial/tutorial.blg
tutorial/tutorial.frm
tutorial/tutorial.lof
tutorial/tutorial.log
tutorial/tutorial.out
tutorial/tutorial.toc
*.swp
Makefile
.DS_Store
.metals
.bloop
tasks
.vscode
.z3_trace
lib/libz3java.so
/z3-*
*.json