Huub, modern CP+Sat solver written in Rust | Dark Hacker News