A speedy constraints solver for Swift. - View it on GitHub