Message6725

Author malte
Recipients florian, jendrik, malte, silvan
Date 2017-12-05.13:51:21
Content
Based on issue735, we know that there are still some cases where dominance
pruning is time-critical, and this issue would be quite easy to implement.
History
Date User Action Args
2017-12-05 13:51:21maltesetmessageid: <1512478281.62.0.124906231177.issue578@unibas.ch>
2017-12-05 13:51:21maltesetrecipients: + malte, jendrik, silvan, florian
2017-12-05 13:51:21maltelinkissue578 messages
2017-12-05 13:51:21maltecreate