Skip to content

A package dependency solver using satisfiability algorithm, written in rust.

License

Apache-2.0 and 2 other licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Unknown
LICENSE-THIRD-PARTY
Notifications You must be signed in to change notification settings

open-rust-initiative/rust-solv

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

rust-solv

简介

rust-solv 是一个使用 Rust 实现的基于 SAT 算法的软件包依赖分析库。

使用

在使用之前需要先在 ~/.config/rust-solv/config.toml 编写配置文件,格式形如:

[repoinfo]
name = "OS"
baseurl = "http://repo.openeuler.org/openEuler-22.03-LTS/OS/$basearch/"

之后便可以执行程序,查询在配置文件指定仓库中能否满足指定软件的依赖。

$ cargo run package1 package2 ...

How to contribute?

This project enforce the DCO.

Contributors sign-off that they adhere to these requirements by adding a Signed-off-by line to commit messages.

This is my commit message

Signed-off-by: Random J Developer <random@developer.example.org>

Git even has a -s command line option to append this automatically to your commit message:

$ git commit -s -m 'This is my commit message'

License

Freighter is licensed under this Licensed:

Acknowledgements

About

A package dependency solver using satisfiability algorithm, written in rust.

Resources

License

Apache-2.0 and 2 other licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Unknown
LICENSE-THIRD-PARTY

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 100.0%