Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[p2-dev] Dry-run resolving? 
Hi,

just a quick question, is there a tool for making dry-run resolving
given a list of IUs to resolve? Basically just running the sat-solver
and printing the commands that would be necessary.

Thanks,
Fredrik

Back to the top