Interest in adding a pre-solve step to reduce redundant constraints?

[ynadji]

First off, thanks for the library! Very cool stuff.

I'm curious if you have any interest in adding a pre-solve phase to handle redundant constraints? I came across this limitation trying to use linear-programming to solve an advent of code problem and had to add this LLM slop to make it work. I'll admit I'm no linalg pro, but I'm interested in learning and contributing. But before digging in, I figured it'd be prudent to ask first if this is something you would want to merge.

Let me know if you're interested, have any tips, or recommended reading so I can do it properly if you're interested!