support translation to Songbird's syntax

sl-comp / SL-COMP18

Resources for the SL-COMP 2018 edition

3 stars 2 forks source link

support translation to Songbird's syntax #6

Closed ghost closed 6 years ago

ghost commented 6 years ago

Hi,

In this pull request, I improve the tool compile in the folder slcomp14tools to translate test cases in SL-COMP'14 syntax format to the syntax of our prover Songbird (https://songbird-prover.github.io/).

Please help to merge the code back since it will be needed by our prover Songbird in the competition.

Thank you!

slcomp commented 6 years ago

Thank you for this contribution.