SwiftCSP -


MIT
OS X
Swift

软件简介

SwiftCSP 是一个约束满足问题的解决方案(Constraint Satisfaction Problem Solver)。