Show HN: An open source solver faster than piosolver

I also made a online demo: https://colab.research.google.com/github/bupticybee/TexasSol...

And an youtube introduction for it:

https://www.youtube.com/watch?v=MydczBwSfWc