AlphaUncommon
locuslab/SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
- Owner
- locuslab (organization)
- Stars
- Stars: 435
- Forks
- Forks: 57
- Language
- Python
- License
- MIT
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by locuslab
All 27 repos by locuslab- locuslab/TCNStars: 4,574PythonRC
- locuslab/convmixerStars: 1,085PythonBeta
- locuslab/mpc.pytorchStars: 1,081PythonBeta
- locuslab/wandaStars: 882PythonBeta
- locuslab/deqStars: 813PythonBeta
- locuslab/qpthStars: 805PythonBeta
Nearby in Python
All Python repos- Infini-AI-Lab/hermitStars: 435PythonAlpha
- joeseesun/qiaomu-downloadStars: 435PythonAlpha
- liangdabiao/whiteboard-teacher-videoStars: 435PythonAlpha
- mekkablue/Glyphs-ScriptsStars: 435PythonAlpha
- dcowden/cadqueryStars: 435PythonAlpha
- gnuradio/pybombsStars: 435PythonAlpha