gjasper / terramystica Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Formal model for the Terra Mystica board game

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
README.md		README.md
board.als		board.als
main.als		main.als
terramystica.thm		terramystica.thm

Repository files navigation

terramystica

Formal model for the Terra Mystica board game

About

Formal model for the Terra Mystica board game

Report repository

Releases

No releases published

Packages

No packages published

Languages

Alloy 100.0%