Skip to content
Sections
>> Trisquel >> Balíky >> nabia >> rust >> librust-ena+congruence-closure-dev
nabia  ] [  aramo  ]
[ Zdroj: rust-ena  ]

Balík: librust-ena+congruence-closure-dev (0.13.1-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.

Ostatné balíky súvisiace s balíkom librust-ena+congruence-closure-dev

  • závisí
  • odporúča
  • navrhuje
  • dep: librust-ena-dev (= 0.13.1-1)
    Rust implementation of union-find - Rust source code
  • dep: librust-petgraph-0.5+default-dev
    Balík nie je dostupný
    alebo librust-petgraph-0.4+default-dev (>= 0.4.5-~~)
    Balík nie je dostupný

Stiahnuť librust-ena+congruence-closure-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 1.2 kB6 kB [zoznam súborov]
armhf 1.2 kB6 kB [zoznam súborov]