GitHub repository: sillydan1/ctl-expr
Primary language: C++
Description: An extension of expr that recognises Computation Tree Logic