sosy-lab/sv-witnesses

Restructure the repository to cluster files referring to different witness formats

MartinSpiessl opened this issue · 0 comments

Curently we have a lot of files at the top level of the repository, and also some folders that are exclusively referring to the graphml-based format. It might be worth adding a hierarchical directory structure that
aggregates files and docs for each format.