Abandoned. See https://github.com/sillydan1/ctl-expr instead. A simple parser for Computation Tree Logic. Use it in your C/C++ projects
Primary LanguageC++BSD 2-Clause "Simplified" LicenseBSD-2-Clause