GitHub repository: saturnin13/SATs-graph-neural-network-solver
Primary language: Python
Created: 2019-11-19T04:55:08Z
Description: A package containing several modulable part to provide a foundation and foster further research in SATisfiability problem solving with Graph Neural Network.