Geeks
sumanthsprabhu
/
GNNForCHCs
Exploring Representation of Horn Clauses using GNNs
Primary Language
Scala
GNNForCHCs GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos