/GNN-sharpSAT

Code for the paper 'Graph Neural Networks for Propositional Model Counting', Gaia Saveri, Luca Bortolussi (2022)

Primary LanguagePython

Stargazers