Update ltl_infty branch#6

Merged

GBathie merged 3 commits intoltl_inftyfrom

Jan 8, 2025

Commits on Dec 18, 2024

fix problem with hash collision
pvdhove
committed

Commits on Jan 7, 2025

Merge pull request #3 from pvdhove/collision-fix
GBathie
authored

Commits on Jan 8, 2025

Create rust.yml acton
GBathie
authored