Skip to content

Compressed and Sparse tuple set extensional propagation - #213

Merged
zayenz merged 5 commits into
mainfrom
feature/tuple-set-extensional-propagators
Jul 12, 2026
Merged

Compressed and Sparse tuple set extensional propagation#213
zayenz merged 5 commits into
mainfrom
feature/tuple-set-extensional-propagators

Commits

Commits on Jul 12, 2026