GitHub repository: locuslab/SATNet
Primary language: Python
Description: Bridging deep learning and logical reasoning using a differentiable satisfiability solver.