GitHub repository: ostrovskis/ltl
Primary language: Java
Created: 2015-06-11T02:45:15Z
Description: Linear Temporal Logic