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