*.jl.*.cov
*.jl.cov
*.jl.mem
*.smt2
*.txt
Manifest.toml
docs/build/
.vscode
experiments/*/formulas/*/
experiments/*/results/*
results/
test/alphaval/mvhs-tableau/enriched_valid*
