https://github.com/herrmanno/flood-it

'Flood it' SAT solver - https://unixpapa.com/floodit
https://github.com/herrmanno/flood-it

Last synced: 4 days ago
JSON representation

'Flood it' SAT solver - https://unixpapa.com/floodit

• Host: GitHub
• URL: https://github.com/herrmanno/flood-it
• Owner: herrmanno
• Created: 2023-01-02T21:23:45.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-01-17T15:10:34.000Z (almost 2 years ago)
• Last Synced: 2024-10-11T07:13:41.300Z (27 days ago)
• Language: Rust
• Size: 74.2 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project