(feature): adds API on Constraint to get var ids#235

Merged

adamchalmers merged 2 commits intomainfrom

tsk-extract-var-ids

Mar 31, 2026

Commits on Mar 30, 2026

(feature): adds API on Constraint to get var ids
therapon
committed

Commits on Mar 31, 2026

adds proptests to enforce invariant between nonzeros and extend_dependent_var_ids
therapon
committed