/Learning-SAT-Solver

Code for trying to replicate https://arxiv.org/abs/1802.03685

Primary LanguagePythonMIT LicenseMIT