• Simon Cruanes's avatar
    small changes · 09dd0f2b
    Simon Cruanes authored
    new transformation (currently equivalent to identity) for tptp driver
    09dd0f2b
dispatcher 4.2 KB