/test-suite/
../
bench
bugs
check
complexity
csdp.cache
failure
ide
ideal-features
interactive
kernel
micromega
modules
output
parser
prerequisite
success
typeclasses