G github.com Show HN: An open source solver faster than piosolver 3 points bupticybee 5 years ago 1 comments