Commit graph

225 commits

Author SHA1 Message Date
cd94f6fa68
add method to parse game from json 2023-08-08 12:12:42 +02:00
c65489655d
change src folder structure 2023-08-08 12:10:59 +02:00
ffadd53935
fix 2023-08-08 11:37:48 +02:00
d2bb254f31
fix 2023-08-08 11:37:28 +02:00
e0d5f46a7f
rename into src folder 2023-08-08 11:36:31 +02:00
ee58a2fb8d
add pyproject.toml 2023-08-08 11:34:47 +02:00
a85504cc1c
adjust README: easier setup of DB 2023-08-02 11:50:08 +02:00
fb3f25b890
document installation of SAT solver 2023-07-27 16:22:14 +02:00
881c21cc9c
make shebang use env 2023-07-27 16:14:31 +02:00
193564bfd6
fix typo in README 2023-07-27 15:45:20 +02:00
0525bd4768
update README 2023-07-27 15:44:39 +02:00
2f4a16995a
remove unneeded text file 2023-07-11 21:54:13 +02:00
2a230d1444
add progress bar when checking for infeasibility 2023-07-08 11:53:30 +02:00
29cae8f139
rework analysis of upper bounds: compute all bounds now, insert into DB properly 2023-07-08 09:48:22 +02:00
91f3c73eb3
DB: add schemas for lower and upper bounds on score 2023-07-08 09:47:57 +02:00
98bbe02495
improve on game: add todo and provide list of dark suits 2023-07-08 09:47:10 +02:00
f322766dca
rework searching for solutions from hanab.live database
respect detrimental characters,
store found game_ids in certs table
2023-07-07 22:37:37 +02:00
11279a1c68
database schema: add (in)feasibility tables, add detrimental_characters 2023-07-07 22:30:53 +02:00
b893a65a64
improve logging output when downloading games 2023-07-07 19:44:20 +02:00
176752c4e3
download: check for detrimental characters 2023-07-07 18:20:04 +02:00
eb587c1cd6
add method to check for all remaining games not in DB 2023-07-07 14:32:39 +02:00
722838243f
make starting_player a property of instances, not games 2023-07-07 14:32:11 +02:00
3ab35eb10d
make starting_player an attribute of seeds instead of games
Since all games on a particular seed have the same starting player,
we should store this accordingly.

Note that this option is only used for old seeds (before 2020)
from the hanab.live database.

Regardless, we need to support this to be able to support these old
games.
2023-07-07 14:20:24 +02:00
fb645b47b4
do not treat failed requests as erros in site_api 2023-07-07 14:19:57 +02:00
301cfe10e8
when downloading: refresh api queries on row count mismatch 2023-07-07 08:41:44 +02:00
71db1e9d26
log variant id on num_player mismatch 2023-07-06 23:49:33 +02:00
5dbf8a5631
get rid of bad print statement 2023-07-05 22:54:29 +02:00
f6f288d4b9
fix db connection 2023-07-05 22:53:35 +02:00
a04d94b50d
explicitly set localhost upon db connection 2023-07-05 22:52:58 +02:00
33c78cda48
pass password to postgresql on connection 2023-07-05 22:38:41 +02:00
53b31c2c44
update readme 2023-07-05 22:38:26 +02:00
1f85bc0810
fix readme 2023-07-05 22:08:47 +02:00
f504ad0ddf
add PostgreSQL instructions to README 2023-07-05 21:41:05 +02:00
07d943c1f3
update text file on cheating strat 2023-07-05 21:16:56 +02:00
ce15595322
add example config, change default db name 2023-07-05 21:13:01 +02:00
8f0ff1ecb2
update README with usage 2023-07-05 21:09:18 +02:00
37a342e63d
support db password in config file 2023-07-05 20:59:20 +02:00
967daf1914
Improve DB connection handling: Lazy init + config
Introduces a proper config file for db connection information
Also, connection now has to be explicitly initialized instead of this
being done on import: This is now done by the CLI function automatically
2023-07-05 20:54:26 +02:00
a014dee0da
update README 2023-07-05 20:49:58 +02:00
2b9715dafd Add LICENSE 2023-07-05 17:31:23 +00:00
6b939061e5
fix bang in cli 2023-07-05 19:04:20 +02:00
ec60d5f700
clean up unneeded files, ignore test.py file 2023-07-05 19:02:09 +02:00
f94fe23f60
move executable cli file outside of package structure 2023-07-05 19:01:08 +02:00
8a2774bf93
add cli option to download all games 2023-07-05 18:49:35 +02:00
b3828baa5d
configure cache to store exported games forever 2023-07-05 18:48:19 +02:00
932340431f
Handle invalid player numbers on export
On hanab.live, some games have an invalid number of players
stored in the database, this leads to some games not being
able to be exported from the site.
We catch these cases and write occurrences to a local data file
2023-07-05 18:47:09 +02:00
f8ff2411a0
Check for correct number of players earlier. Add CLI for downloading
games
2023-07-05 16:46:14 +02:00
3c2c73d00b
fix check for num_players in download routine 2023-07-05 16:31:10 +02:00
b9068eebe4
implement cli command to init database 2023-07-05 09:33:55 +02:00
184129fca0
improve error handling when downloading games: Throw proper assertions, assume nothing about returned data 2023-07-05 09:00:03 +02:00