|
|
ddeb19265d
|
adjust sat solver to new files
|
2023-03-18 13:18:16 +01:00 |
|
|
|
b2ab5be3d9
|
rename solve -> solve_sat, change output type to be an actual game
|
2023-03-15 15:44:33 +01:00 |
|
|
|
f0c1f112a0
|
adjust sat solver to handle mid-game states
|
2023-03-15 11:14:56 +01:00 |
|
|
|
0e7deaf0dd
|
clean up sat.py file: json exporting now easier
|
2023-03-14 09:12:21 +01:00 |
|
|
|
ba8313b4bb
|
restructure sat.py: clean up and more general interface
|
2023-03-13 17:21:07 +01:00 |
|
|
|
698d72e021
|
implement other player counts
|
2023-03-02 11:03:33 +01:00 |
|
|
|
80f9e7bca5
|
better function handling
|
2023-02-28 22:33:06 +01:00 |
|
|
|
aae9dec351
|
refactor file: use methods dependent on deck type
|
2023-02-28 22:30:50 +01:00 |
|
|
|
8abe9fd257
|
rename MOVES -> MAX_MOVES
|
2023-02-28 19:11:23 +01:00 |
|
|
|
63555cfa85
|
adjust json output to arbitrary move count
|
2023-02-28 19:10:43 +01:00 |
|
|
|
b1340713bd
|
implement dummy turns
|
2023-02-28 19:09:13 +01:00 |
|
|
|
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 |
|
|
|
df7c8c0845
|
convert found solutions into hanab.live json replay format
|
2023-02-28 17:28:34 +01:00 |
|
|
|
43f86aaea1
|
implement handling of strikes
|
2023-02-28 15:41:23 +01:00 |
|
|
|
369fc03158
|
initial version from matthias
|
2023-02-28 14:19:01 +01:00 |
|
