GitHub repository: moves-rwth/carl-parser
Primary language: C++
Description: Parser for carl data structures