Manifest.toml

test/counterexamples
test/images
test/outputs
test/*.model
