Author malte
Recipients guillem, jendrik, malte
Date 2018-02-09.16:25:38
Is there still a difference between Heuristic and Evaluator? If yes, then the
issue for unifying them is still open, and working on that issue at the same
time as this one will likely lead to substantial merge conflicts.

I would recommend having a brief look at the status of the Heuristic/Evaluator
unification issue before proceeding here.
Date User Action Args
2018-02-09 16:25:38maltesetmessageid: <>
2018-02-09 16:25:38maltesetrecipients: + malte, jendrik, guillem
2018-02-09 16:25:38maltelinkissue526 messages
2018-02-09 16:25:38maltecreate