Skip to content

expose SpjNormalForm::predicate() + Predicate Display impl#52

Merged
zhuqi-lucas merged 2 commits into
branch-53from
qizhu/expose-spj-predicate-branch53
Jun 24, 2026
Merged

expose SpjNormalForm::predicate() + Predicate Display impl#52
zhuqi-lucas merged 2 commits into
branch-53from
qizhu/expose-spj-predicate-branch53

address Copilot review feedback

7016a0e
Select commit
Loading
Failed to load commit list.