GitHub repository: mww-aws/comp-infrastructure
Primary language: Shell
Created: 2020-01-19T15:59:05Z
Description: Infrastructure for setting up SAT-Comp or SV-Comp