Logical Formula Embedder (part of TRAIL)

Repository for GNNs work of logical formulae with subgraph pooling

Maxwell Crouse, Ibrahim Abdelaziz, Achille Fokoue