Develop constraint support

[leclere]

• test constraint for next state
• developp documentation / example for constraint usage

[trigaut]

In sdp I think it is already handled as the future value function equals infinity if the next state is not admissible.