Huub, modern CP+Sat solver written in Rust(huub.solutions)2 points by knuckleheads 29 days ago | 0 commentsNo comments yet