@ffrohn ffrohn released this May 29, 2017 · 3 commits to master since this release

Assets 3

new AProVE version with CPF output for ITS (resp. LTS) termination proofs