22 commits

Author	SHA1	Message	Date
Maximilian Keßler	fceeeb376d	sat: adjust print_model to instances with variable deck sizes	2023-05-13 13:05:58 +02:00
Maximilian Keßler	3cc49b4813	stash	2023-05-11 15:15:15 +02:00
Maximilian Keßler	a715bda02c	sat: support ClueStarved instances	2023-05-10 19:23:23 +02:00
Maximilian Keßler	3a1aee1502	sat: fix equivalence of clue incrementation	2023-05-10 17:44:41 +02:00
Maximilian Keßler	892c5ff7be	fix printing of model of sat	2023-05-10 17:44:16 +02:00
Maximilian Keßler	c47ca7ccc5	sat.py: correctly export model after game ended	2023-05-08 23:25:09 +02:00
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