PhaedoPhaedo is a speedy linear constraint solver for Swift. Phaedo wraps the Kiwi constraint solver (C++) in a thin layer of Objective-C, then adds operator overloads in Swift for intuitive constraint definitions.License: MITSwift