rust-solv 是一个使用 Rust 实现的基于 SAT 算法的软件包依赖分析库。
在使用之前需要先在 ~/.config/rust-solv/config.toml 编写配置文件，格式形如：
[repoinfo]
name = "OS"
baseurl = "https://repo.openeuler.org/openEuler-22.03-LTS/OS/$basearch/"之后便可以执行程序，查询在配置文件指定仓库中能否满足指定软件的依赖。
$ cargo run package1 package2 ...