Show HN: SAT Solver/Constraint Programming library in Gogithub.com/irfansharif5 pointsirfansharif5 years ago