For example it was previously not possible to allow some packages to be removed if needed when requesting a new package on a switch already used before, such as when using the solver in a desktop environment as default solver.
With this change I believe there shouldn't be anything to prevent users to use it as default solver if they wish to.
I seem to have overlooked these tag in my first implementation in https://github.com/talex5/opam-0install-solver/pull/11. However they ended up being really useful for the complete integration in opam.
For example it was previously not possible to allow some packages to be removed if needed when requesting a new package on a switch already used before, such as when using the solver in a desktop environment as default solver.
With this change I believe there shouldn't be anything to prevent users to use it as default solver if they wish to.
This PR is required for the opam integration PR: https://github.com/ocaml/opam/pull/4240