Hacker News new | ask | show | jobs
Huub, modern CP+Sat solver written in Rust (huub.solutions)
2 points by knuckleheads 16 days ago