Closed AayushSabharwal closed 1 day ago
Test the case I described, x => 2, x ~ y
, and y => 2, x ~ y
.
Does this test work? It passed locally, just making sure it's what you're looking for
No it needs to be structurally simplified.
No it needs to be structurally simplified.
structural_simplify
happens inside linearization_function
, in io_preprocessing
.
Checklist
Additional context
Add any other context about the problem here.