https://github.com/hoddy3190/eight_queens_pml

Find all(= 92) eight queens answers with Spin/Promela.
https://github.com/hoddy3190/eight_queens_pml

promela spin

Last synced: 17 days ago
JSON representation

Find all(= 92) eight queens answers with Spin/Promela.

• Host: GitHub
• URL: https://github.com/hoddy3190/eight_queens_pml
• Owner: hoddy3190
• License: unlicense
• Created: 2018-12-07T13:10:16.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-09T17:28:52.000Z (about 6 years ago)
• Last Synced: 2024-11-02T07:15:01.055Z (3 months ago)
• Topics: promela, spin
• Homepage:
• Size: 2.93 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project