GitHub repository: sl-comp/SL-COMP18
Primary language: SMT
Created: 2018-03-29T09:42:31Z
Description: Resources for the SL-COMP 2018 edition