These packages are available as a package collection, usable in Xcode or SwiftPM.
A Constraint Satisfaction Problem Solver in Pure Swift
1 package.