TACAS Submission (Draft)

README: Format to 100 characters using pandoc  (see command below)

    pandoc -t gfm -f markdown --columns 100 --markdown-headings=setext