locuslab / SATNet

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

locuslab/SATNet Stargazers