# A fast TPTP-parser for Python3
This TPTP-parser is created using flex/bison and swig. The sources can be found at https://github.com/leoprover/tptp-parser.

## Testrun
```$ python3 test_run.py PROBLEM_FILE```

## License
The TPTP-parser is licensed under the BSD 3-clause "New" or "Revised" License. See [LICENSE](LICENSE).
