/SATNet

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

Primary LanguagePythonMIT LicenseMIT

Watchers