github.com/davecom/SwiftCSP (swiftpm): A Constraint Satisfaction Problem Solver in Pure Swift
Keywords: constraint-satisfaction|constraint-satisfaction-problem|eight-queen-problem|eight-queens-puzzle|map-coloring|sudoku-solver|swift