Show HN: An open source solver faster than piosolver (github.com)

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