On Fri, Aug 16, 2024 at 12:20:01PM +0200, Ole Schuerks wrote: > What's the best way of letting the user know that they need to > install PicoSAT if they want to use the conflict resolver? > My idea would > be to notify the user via the GUI when they try to use the interface of > the conflict resolver without having PicoSAT installed. Do you see any > issues with that/do you prefer some alternative approach? Conflicts don't happen often and we already have a printf which happens when one does, my recommendation would be that we simply opt-in for the resolver if the user has the requirements installed. Otherwise we only inform the user to install it if a conflict comes up. Documentation can also be enhanced to describe this functionality / support. Luis
