Package: librust-ena+congruence-closure-dev (0.14.0-2) [debports]
Links for librust-ena+congruence-closure-dev
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [github.com]
Similar packages:
- librust-ena+dogged-dev
- librust-ena+persistent-dev
- librust-ena+petgraph-dev
- librust-adler+rustc-dep-of-std-dev
- librust-url+rustc-serialize-dev
- librust-rustc-demangle+rustc-dep-of-std-dev
- librust-chrono+rustc-serialize-dev
- librust-libc+rustc-dep-of-std-dev
- librust-getrandom+rustc-dep-of-std-dev
- librust-rustc-demangle+compiler-builtins-dev
- librust-rustc-demangle+core-dev
implementazione Rust di union-find - funzionalità "congruence-closure" e un'altra
Si basa sul codice di rustc.
Questo metapacchetto abilita la funzionalità "congruence-closure" per il crate ena per Rust, richiamando qualunque dipendenza aggiuntiva necessaria a tale funzionalità.
In aggiunta questo pacchetto fornisce anche la funzionalità "petgraph".
Other Packages Related to librust-ena+congruence-closure-dev
|
|
|
|
-
- dep: librust-ena-dev (= 0.14.0-2)
- implementazione Rust di union-find - codice sorgente Rust
-
- dep: librust-petgraph-0.6+default-dev
- Package not available
- or librust-petgraph-0.5+default-dev
- Package not available
- or librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
- Package not available
Download librust-ena+congruence-closure-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ppc64 (unofficial port) | 1.1 kB | 6.0 kB | [list of files] |