Commit a3ee8b0

committed

feat: parse tptp-cnf

1 parent 81c9421 commit a3ee8b0Copy full SHA for a3ee8b0

5 files changed

+1324

-9

lines changed

benchmark
src
- tptp_parser.rs

5 files changed

+1324

-9

lines changed

Comments

(0)