cvc5_mojo channel
A binary package from the modular-community channel — latest version 1.4.1.0. Maintained by anatolvitold. Repository / details: Spellbound-Mojo/cvc5_mojo.
⭐ 0 · last commit 2d ago · 5 commits last month · 5 last year
Install — pick one
with the shelf extension
pixi shelf add cvc5_mojoor plain pixi (channel in your channel list)
pixi add cvc5_mojoDependencies are resolved by conda — no registry pinning; your
pixi.lock records the solved version. Note: channel packages
carry their own mojo-compiler requirement, which may conflict
with a workspace pinned to a different Mojo era — the solver reports it if
so.