Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

C

Competition Scripts

Project information

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

1,965 Commits
4 Branches
17 Tags

README

Created on

November 20, 2020

Loading