7 Commits

Author	SHA1	Message	Date
Bert Peters	c35858239f	Also prune while queueing	2023-01-28 22:21:33 +01:00
Bert Peters	5ea0f6fa6f	Use correct early cut-off bound	2023-01-28 22:00:12 +01:00
Bert Peters	5045f83df8	Slightly more efficient search	2023-01-28 13:45:58 +01:00
Bert Peters	787e215f84	Horrible brute force part 2	2023-01-28 12:22:35 +01:00
Bert Peters	286fc3dd7f	Terribly inefficient part 1	2023-01-27 19:57:58 +01:00
Bert Peters	b080859356	Replace todo with error, bench everything	2022-12-08 11:06:59 +01:00
Bert Peters	0635141ac6	Add skeleton for 2022	2022-11-05 16:17:47 +01:00