Giters

inpefess / tptp2graph

Transform TPTP formulae to DGL graphs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

inpefess/tptp2graph Issues