vj-sim-0.3.0
- vj-sim 0.3.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 22 October 2026
- Links
- crates.io
- Source
- Owners
- CheeksTheGeek
- Dependencies
- biodivine-lib-bdd =0.6.3 normal
  crossbeam-channel ^0.5 normal
  num-bigint =0.4.8 normal
  num-traits =0.2.19 normal
  postcard ^1 normal
  rustc-hash ^2 normal
  serde ^1 normal
  slotmap ^1 normal
  smallvec ^1 normal
  splr =0.17.2 normal
  sv-lang =0.1.18 normal optional
  sv-lang-kinds =0.1.2 normal optional
  vj-abi ^0.3.0 normal
  sv-lang =0.1.18 dev
  sv-lang-kinds =0.1.2 dev
- Versions
- 69.1% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

KernelId

vj_sim0.3.0

In vj_sim::covergroup::value

vj_sim::covergroup::value

Type Alias KernelId

pub type KernelId = u32;