Columbus/columbus
2022-06-29 12:42:08 +02:00
..
__init__.py Removed comment 2022-06-22 16:05:00 +02:00
entities.py Changed defaults 2022-06-29 12:42:08 +02:00
env.py Tweaking some envs 2022-06-29 12:41:52 +02:00
humanPlayer.py Fixed imports to use package-reference 2022-06-22 16:05:14 +02:00
observables.py Fixed wrong color for Void when env.void_barrier is set 2022-06-22 13:09:01 +02:00