SwiftCSP

SwiftCSP 是一个纯 Swift（无 Cocoa）编写的约束满足问题求解器。它使用了一种简单的回溯算法，并计划未来的优化。在当前的开发阶段，它运行效率相对较慢，但包括了实际问题的解决方案示例。它可以在 iOS 和 OS X 上运行。