A collection of graph-based logical formula embedding methods - View it on GitHub