Skip to content
Sections
>> Trisquel >> 套件 >> aramo >> rust >> librust-ena+congruence-closure-dev
nabia  ] [  aramo  ]
[ 原始碼: rust-ena  ]

套件: librust-ena+congruence-closure-dev (0.14.0-1)

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-~~)
    套件暫時不可用

下載 librust-ena+congruence-closure-dev

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 1.2 kB6 kB [文件列表]
arm64 1.2 kB6 kB [文件列表]
armhf 1.2 kB6 kB [文件列表]
ppc64el 1.2 kB6 kB [文件列表]