4 Commits

Author	SHA1	Message	Date
Lukas Wölfer	4cd25719e2	Added timeout to solver	2020-02-12 01:20:58 +01:00
Lukas Wölfer	8c43ae4eb0	Formatting	2020-02-12 01:04:08 +01:00
Lukas Wölfer	a8ead54831	Formatting	2020-02-12 00:53:02 +01:00
Lukas Wölfer	d752ffb24c	Made it work	2020-02-12 00:50:31 +01:00