Skip to content

v0.4.1

Choose a tag to compare

View all tags
@rizumita rizumita released this 09 May 07:10
· 58 commits to main since this release
v0.4.1
67d9cdc

Patch release for the HigherGraphen Rust workspace at 0.4.1.

Highlights:

  • Expanded graph analytics with SCCs, centrality, cut-cell candidates, dominators, and two-seed minimum vertex-cut candidates.
  • Expanded bounded model checking with exhaustive markers, temporal descriptors, unified temporal dispatch, and state-label query helpers.
  • Added value-of-information scoring, relation-mapping monotonicity checks, batched diagram commutativity checks, and math kernel API examples.

Cargo packages are published to crates.io for reusable crates and CLI tools. Example workspace packages remain unpublished validation fixtures.

Assets 2
Loading