Show HN: SAT Solver/Constraint Programming library in Go | Heykuki News