Message3428

Author erez
Recipients erez, florian, malte
Date 2014-09-17.15:59:00
Content
Sounds like the landmarks are detecting that the problem is unsolvable, but not 
expecting that. As part of the refactoring it might be good to add an option for 
detecting unsolvability.
History
Date User Action Args
2014-09-17 15:59:00erezsetmessageid: <1410962340.48.0.528419778442.issue467@unibas.ch>
2014-09-17 15:59:00erezsetrecipients: + erez, malte, florian
2014-09-17 15:59:00erezlinkissue467 messages
2014-09-17 15:59:00erezcreate