Huub, modern CP+Sat solver written in Rusthuub.solutions2 points·knuckleheads··0 commentsOpen articleSaveView on HN