Modules
This package provides custom a custom Smart Cell for parsing TPTP syntax (raw
formulas or TH0 problems) into the data structures of shot_ds.
A Smart Cell that can parse either a raw TH0 formula (with an optional context) or a full TH0 problem file.