YosysHQ / imctk

Incremental Model Checking Toolkit
Other
5 stars 2 forks source link

Add dsf crates with union_find and tracked_union_find #18

Closed aiju closed 1 month ago

aiju commented 1 month ago

Add the dsf crate that includes a union find data structure, with a variant for tracking changes.