https://github.com/weaversa/satisfiability-museum

The Satisfiability Museum
https://github.com/weaversa/satisfiability-museum

Last synced: about 1 month ago
JSON representation

The Satisfiability Museum

• Host: GitHub
• URL: https://github.com/weaversa/satisfiability-museum
• Owner: weaversa
• Created: 2015-09-23T21:45:46.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-09-23T21:56:41.000Z (over 9 years ago)
• Last Synced: 2025-05-15T04:09:07.580Z (about 1 month ago)
• Language: C
• Size: 410 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Satisfiability-Museum

The Satisfiability Museum