C

Competition Scripts

Project information

Scripts for running competitions like SV-COMP and Test-Comp. Still incomplete, will be extended gradually.

2,303 Commits
5 Branches
19 Tags

README

Created on

November 20, 2020

Loading