https://github.com/locuslab/SATNet

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
https://github.com/locuslab/SATNet

Last synced: 11 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/locuslab/SATNet
• Owner: locuslab
• License: mit
• Created: 2019-05-13T18:41:09.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2022-11-22T09:22:51.000Z (over 3 years ago)
• Last Synced: 2025-06-27T23:47:15.711Z (12 months ago)
• Language: Python
• Homepage:
• Size: 483 KB
• Stars: 417
• Watchers: 34
• Forks: 53
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project