16 commits

Author	SHA1	Message	Date
Maximilian Keßler	303158bc25	sat: annotate function return type. use deep copy for returning solution to avoid modifying passed game state	2023-05-06 19:41:50 +02:00
Maximilian Keßler	ddeb19265d	adjust sat solver to new files	2023-03-18 13:18:16 +01:00
Maximilian Keßler	b2ab5be3d9	rename solve -> solve_sat, change output type to be an actual game	2023-03-15 15:44:33 +01:00
Maximilian Keßler	f0c1f112a0	adjust sat solver to handle mid-game states	2023-03-15 11:14:56 +01:00
Maximilian Keßler	0e7deaf0dd	clean up sat.py file: json exporting now easier	2023-03-14 09:12:21 +01:00
Maximilian Keßler	ba8313b4bb	restructure sat.py: clean up and more general interface	2023-03-13 17:21:07 +01:00
Maximilian Keßler	698d72e021	implement other player counts	2023-03-02 11:03:33 +01:00
Maximilian Keßler	80f9e7bca5	better function handling	2023-02-28 22:33:06 +01:00
Maximilian Keßler	aae9dec351	refactor file: use methods dependent on deck type	2023-02-28 22:30:50 +01:00
Maximilian Keßler	8abe9fd257	rename MOVES -> MAX_MOVES	2023-02-28 19:11:23 +01:00
Maximilian Keßler	63555cfa85	adjust json output to arbitrary move count	2023-02-28 19:10:43 +01:00
Maximilian Keßler	b1340713bd	implement dummy turns	2023-02-28 19:09:13 +01:00
Maximilian Keßler	9f10d002c8	start implementation of general move number ... extraround is marked accordingly, no cards are drawn in it	2023-02-28 18:59:41 +01:00
Maximilian Keßler	df7c8c0845	convert found solutions into hanab.live json replay format	2023-02-28 17:28:34 +01:00
Maximilian Keßler	43f86aaea1	implement handling of strikes	2023-02-28 15:41:23 +01:00
Maximilian Keßler	369fc03158	initial version from matthias	2023-02-28 14:19:01 +01:00