https://github.com/mateusz-grzelinski/logit-formula-generator

Random SAT formula generator (basics done, work progressing)
https://github.com/mateusz-grzelinski/logit-formula-generator

Last synced: 1 day ago
JSON representation

Random SAT formula generator (basics done, work progressing)

• Host: GitHub
• URL: https://github.com/mateusz-grzelinski/logit-formula-generator
• Owner: Mateusz-Grzelinski
• Created: 2019-05-02T13:47:55.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2021-03-29T21:05:09.000Z (almost 4 years ago)
• Last Synced: 2024-11-22T10:56:27.232Z (2 months ago)
• Language: Python
• Homepage:
• Size: 494 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project