freenode/#sicl - IRC Chatlog Search Sunday, 24th of March 2019, 17:45:24 UTC 18:03:13 beach I think it's just an exhaustive search. 18:03:37 beach The problem is NP hard as I recall, so I didn't bother trying anything fancy. 5:06:50 beach Good morning everyone! 5:07:00 no-defun-allowed Morning beach! 5:15:19 makomo morning :-)