[ nabia ]
[ aramo ]
[ 原始碼: rust-ena ]
套件: librust-ena+congruence-closure-dev (0.14.0-1)
librust-ena+congruence-closure-dev 的相關超連結
Trisquel 的資源:
下載原始碼套件 rust-ena:
維護者:
Original Maintainers:
- Debian Rust Maintainers
- Matt Kraai
外部的資源:
- 主頁 [github.com]
相似套件:
- librust-cargo-lock+dependency-tree-dev
- librust-backtrace+rustc-serialize-dev
- librust-memsec+alloc-dev
- librust-dotenv+clap-dev
- librust-bs58+check-dev
- librust-num-complex+std-dev
- librust-pbkdf2+include-simple-dev
- librust-pbkdf2+parallel-dev
- librust-syn+printing-dev
- librust-cbindgen+clap-dev
- librust-futures-cpupool+with-deprecated-dev
Rust implementation of union-find - feature "congruence-closure" and 1 more
Based on code from rustc.
This metapackage enables feature "congruence-closure" for the Rust ena crate, by pulling in any additional dependencies needed by that feature.
Additionally, this package also provides the "petgraph" feature.
其他與 librust-ena+congruence-closure-dev 有關的套件
|
|
|
-
- dep: librust-ena-dev (= 0.14.0-1)
- Rust implementation of union-find - Rust source code
-
- dep: librust-petgraph-0.5+default-dev
- 套件暫時不可用
- 或者 librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
- 套件暫時不可用