GitHub repository: sillydan1/CTLParser
Primary language: C++
Created: 2020-11-26T13:18:27Z
Description: A simple parser for Computation Tree Logic. Use it in your C/C++ projects