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