Full method to display trajectories of solutions; Major improvements in condition parsing, and display

Fix bugs: minimum of steps increase despite of limitation because pb is still satisfiable ??; str instead of int in logger, sort cams during the export