|
b819886ec5
|
add detection methods for seeds running out of pace
|
2023-03-15 16:41:22 +01:00 |
|
|
054112e272
|
add better method for instance solving: try greedy solver first
|
2023-03-15 15:45:22 +01:00 |
|
|
07d95e99f5
|
do not execute stuff when importing
|
2023-03-15 15:44:50 +01:00 |
|
|
b2ab5be3d9
|
rename solve -> solve_sat, change output type to be an actual game
|
2023-03-15 15:44:33 +01:00 |
|
|
1a43648ac7
|
greedy solver: do not crash when crit is lost, just mark this
|
2023-03-15 15:44:03 +01:00 |
|
|
2807d2672a
|
ignore some output files
|
2023-03-15 15:43:14 +01:00 |
|
|
b6b62e376f
|
add logger setup
|
2023-03-15 15:42:22 +01:00 |
|
|
f9abc8b2f5
|
assertions in GameState class
|
2023-03-15 11:16:45 +01:00 |
|
|
f0c1f112a0
|
adjust sat solver to handle mid-game states
|
2023-03-15 11:14:56 +01:00 |
|
|
d71dba523c
|
add deck index to be stored with card, add hash method
|
2023-03-14 21:15:20 +01:00 |
|
|
9704411001
|
fix bug in replay creation: equal cards with different deck idx: replace correct one
|
2023-03-14 18:47:07 +01:00 |
|
|
4c98c4f645
|
compute winning percentage at end
|
2023-03-14 18:27:29 +01:00 |
|
|
97d2bf379d
|
implement handling of dupes in same players hands
|
2023-03-14 18:15:15 +01:00 |
|
|
0687e176d5
|
first version of greedy solver: winrate roughly 80%
|
2023-03-14 15:20:18 +01:00 |
|
|
8991d30826
|
GameState: fix clued value, add to_json method
|
2023-03-14 09:14:40 +01:00 |
|
|
bdbcc28edd
|
sat solving database: add timer, skip 2-player seeds (too costly atm)
|
2023-03-14 09:14:14 +01:00 |
|
|
abdbc02c6b
|
adjust downloading of actions: log if VoteTerminate action is found
|
2023-03-14 09:13:10 +01:00 |
|
|
e04d3a9025
|
fix compression: value of voteTerminate now set to 0 to prevent index overflow
|
2023-03-14 09:12:46 +01:00 |
|
|
0e7deaf0dd
|
clean up sat.py file: json exporting now easier
|
2023-03-14 09:12:21 +01:00 |
|
|
4489087a0d
|
add GameState class to model progress of hanabi game
|
2023-03-14 09:04:08 +01:00 |
|
|
725d08d67b
|
implement multi-processing for instance solving with sat
|
2023-03-14 00:31:21 +01:00 |
|
|
151e15177f
|
add method to solve seeds. start to implement threading
|
2023-03-13 23:47:59 +01:00 |
|
|
91aa786ef9
|
add method to directly generate link to replay
|
2023-03-13 17:21:25 +01:00 |
|
|
ba8313b4bb
|
restructure sat.py: clean up and more general interface
|
2023-03-13 17:21:07 +01:00 |
|
|
ab2cda2207
|
fix export function
|
2023-03-13 14:58:51 +01:00 |
|
|
5c06ef7887
|
implement proper method to find feasible instances
|
2023-03-13 13:22:54 +01:00 |
|
|
a40361b7f3
|
first version of updating max-score games in DB
|
2023-03-13 11:46:23 +01:00 |
|
|
777d374ba4
|
update export method: parses extra parameters and returns if game was cheaty
|
2023-03-11 20:10:40 +01:00 |
|
|
46cc2c50ee
|
add interface to read variants.json file
|
2023-03-11 20:01:29 +01:00 |
|
|
d0ba1f4b4a
|
fix compression: shift encoded values by 1 to differentiate 0 and null
|
2023-03-03 11:17:31 +01:00 |
|
|
d7387574ea
|
rewrite instance_finder
now contains utilities to fetch data from hanab.live / update DBs
|
2023-03-02 22:16:43 +01:00 |
|
|
9b976f6552
|
add method to export games and store actions/seed in database
|
2023-03-02 22:16:25 +01:00 |
|
|
a8a53c7690
|
update database: add columns for actions and deck
|
2023-03-02 22:16:04 +01:00 |
|
|
bfc72c497d
|
add action for voting to terminate the game
|
2023-03-02 22:15:47 +01:00 |
|
|
a4a3cc90f0
|
clean up file
|
2023-03-02 21:28:37 +01:00 |
|
|
7c82aff384
|
remove lots of 'tests'
|
2023-03-02 21:27:29 +01:00 |
|
|
4dab0de216
|
add code to decompress json games
|
2023-03-02 21:27:00 +01:00 |
|
|
26f5e2f3f1
|
add code to compress whole json games
|
2023-03-02 21:13:47 +01:00 |
|
|
b19fc187d6
|
implement decompressing action string
|
2023-03-02 20:38:48 +01:00 |
|
|
174e8276f2
|
add compression methods for decks/replays
|
2023-03-02 20:16:26 +01:00 |
|
|
0bd0b42230
|
add seeds table
|
2023-03-02 15:18:08 +01:00 |
|
|
6077c64f06
|
add variants.json file from hanabi-live repo
|
2023-03-02 14:52:16 +01:00 |
|
|
cee4796b34
|
refactor code to download games into separate file
|
2023-03-02 13:27:26 +01:00 |
|
|
cae4a44703
|
move site api for hanab.live into own file
|
2023-03-02 13:11:12 +01:00 |
|
|
bbbdae0611
|
download game database
|
2023-03-02 13:07:53 +01:00 |
|
|
5e537423e9
|
add storing / loading of games to database
|
2023-03-02 13:03:05 +01:00 |
|
|
9a771b0782
|
start implementation of database framework: create table
|
2023-03-02 11:52:15 +01:00 |
|
|
a90ff5d451
|
instance_finder: find hard instances on hanab.live
searches for instances with no known full score in hanab.live database
and tackles these with SAT solver
|
2023-03-02 11:04:45 +01:00 |
|
|
f8c2919a85
|
add gitignore
|
2023-03-02 11:04:33 +01:00 |
|
|
698d72e021
|
implement other player counts
|
2023-03-02 11:03:33 +01:00 |
|