https://github.com/cipherboy/sat

Public 3-CNF-SAT files
https://github.com/cipherboy/sat

Last synced: about 20 hours ago
JSON representation

Public 3-CNF-SAT files

• Host: GitHub
• URL: https://github.com/cipherboy/sat
• Owner: cipherboy
• License: mit
• Created: 2017-04-23T20:13:09.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2024-02-25T05:07:54.000Z (about 2 years ago)
• Last Synced: 2025-03-29T06:14:32.348Z (12 months ago)
• Language: Roff
• Homepage:
• Size: 76.5 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# sat

Public CNF-SAT files