Hacker News new | ask | show | jobs
Show HN: SAT Solver/Constraint Programming library in Go (github.com)
5 points by irfansharif 1729 days ago