GitHub - Matter95/CatanDS

Peer-to-peer simulation of Catan, includes a TLA+ specification and python implementation using Git

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
.idea		.idea
Spec		Spec
Sprites		Sprites
Tests		Tests
.gitignore		.gitignore
README.md		README.md
UI.py		UI.py
building.py		building.py
computation_time_2P		computation_time_2P
computation_time_4P		computation_time_4P
dice_roll.py		dice_roll.py
gloabl_definitions.py		gloabl_definitions.py
initializing.py		initializing.py
main.py		main.py
model_stats		model_stats
repo_sizes_4P		repo_sizes_4P
repo_sizes_first_200		repo_sizes_first_200
repo_utils.py		repo_utils.py
reqs.txt		reqs.txt
statistics.xlsx		statistics.xlsx
stats_2P		stats_2P
stats_4P		stats_4P
stats_actions_2P		stats_actions_2P
stats_actions_4P		stats_actions_4P
stats_cards_2P		stats_cards_2P
stats_cards_4P		stats_cards_4P
stats_dice_2P		stats_dice_2P
stats_dice_4P		stats_dice_4P
sync_time_2P		sync_time_2P
sync_time_4P		sync_time_4P
trading.py		trading.py
utils.py		utils.py

Provide feedback