Jiří Sejkora 9fda072a13 Optimize candidate search		2021-01-06 19:27:15 +01:00
..
find_useless.rs	Randomized improvements, finding best	2020-12-23 16:29:33 +01:00
main.rs	Optimize candidate search	2021-01-06 19:27:15 +01:00