Repository navigation

C++ api and internal cleanups - #1052

Closed

tturocy wants to merge 5 commits into

Closed

C++ api and internal cleanups#1052
tturocy wants to merge 5 commits into
masterfrom
dev_precedes

Commits on Aug 16, 2026
- Remove `precedes` predicate on action and infoset
  tturocy
  committed
  3a849e8
Commits on Aug 17, 2026