Issue542

Title integrate potential heuristics
Priority feature Status resolved
Superseder Nosy List florian, gabi, jendrik, malte
Assigned To jendrik Keywords
Optional summary

Created on 2015-06-23.15:22:36 by jendrik, last changed by jendrik.

Messages
msg4585 (view) Author: jendrik Date: 2015-08-25.11:35:30
Merged and pushed, thanks for the reviews!
msg4275 (view) Author: jendrik Date: 2015-06-23.15:22:36
As discussed with Florian offline, I will cherry-pick the relevant files from the 
potentials repo into a new branch, forgetting all history of the potentials code. 
Preserving the history is complicated since it is part of an old branch, that was 
itself branched off another feature branch a long time ago and we need very little 
code from the leaf branch.
History
Date User Action Args
2015-08-25 11:35:30jendriksetstatus: unread -> resolved
nosy: + gabi, florian
messages: + msg4585
2015-06-23 15:22:36jendrikcreate