Joseph Mirabel authored May 12, 2017 and Joseph Mirabel committed May 12, 2017

* ProblemTarget is now responsible for checking whether a target has
* been reached. This enables symbolic tasks to be checked for (in
* hpp-manipulation package)
* I did not compiled it yet.