A package containing several modulable part to provide a foundation and foster further research in SATisfiability problem solving with Graph Neural Network.
Contributions:121 commits, 125 pushes in 1 month
graph-neural-networksatisfiability
Contributions:1 PR, 225 pushes, 1 branch in 1 month
test-repo