sosy-lab/sv-witnesses

Create python package (pip?) for witness linter

MartinSpiessl opened this issue · 0 comments

This way it would be easier for users to execute the witnes linter against their witnesses to check whether they are conformant with the spec