4 commits

Author	SHA1	Message	Date
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	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	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