4 commits

Author	SHA1	Message	Date
Maximilian Keßler	dee13938cf	adjust deck analyzer to use hanabi instances	2023-03-18 14:08:27 +01:00
Maximilian Keßler	ddeb19265d	adjust sat solver to new files	2023-03-18 13:18:16 +01:00
Maximilian Keßler	a056c83869	fix a few missing self attributes	2023-03-18 10:17:09 +01:00
Maximilian Keßler	b0d0aaae1b	refactor: proper classes for hanabi instances and games	2023-03-18 01:17:32 +01:00