GitHub repository: AleGit/CTptpParsing
Primary language: C
Created: 2016-07-04T13:15:06Z
Description: C data structures and functions, flex and yacc files for tptp problem file parsing