When the solver returns a solution containing 0 actions to be performed to satisfy constraints in input, we informed the user.
When the solver returns a solution containing 0 actions to be performed to satisfy constraints in input, we informed the user.

abate/opam,abate/opam