GitHub repository: wgolab/WatCA
Primary language: Java
Created: 2016-08-03T14:40:59Z
Description: The Waterloo Consistency Analyzer