Commit graph

8 commits

Author SHA1 Message Date
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
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
d7387574ea
rewrite instance_finder
now contains utilities to fetch data from hanab.live / update DBs
2023-03-02 22:16:43 +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
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