Maximilian Keßler a1a5cfac20 bugfix: properly copy set instead of using ref		2024-10-11 21:37:48 +02:00
..
__init__.py	change src folder structure	2023-08-08 12:10:59 +02:00
deck_analyzer.py	bugfix: properly copy set instead of using ref	2024-10-11 21:37:48 +02:00
greedy_solver.py	change src folder structure	2023-08-08 12:10:59 +02:00
sat.py	SAT formulation: add progress of deck	2024-10-07 14:50:11 +02:00