GitHub repository: sosy-lab/sv-witnesses
Primary language: Python
Created: 2016-10-06T19:31:41Z
Description: An Exchange Format for Verification Witnesses