2 Commits

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