Skip to content

Support chained equalities in the answer and response - #278

Draft
m-messer wants to merge 1 commit into
feature/inequalitiesfrom
feature/chained-equalities
Draft

m-messer wants to merge 1 commit into
feature/inequalitiesfrom
feature/chained-equalities

Added support for chained equalities in symbolic equivalence checks, …

0a23d3d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Test (3.12)
succeeded Sep 21, 2026 in 7m 39s