61 commits

This branch

This branch

All branches

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