These packages are available as a package collection, usable in Xcode or SwiftPM.
A symbolic safety game solver written in Swift
1 package.
Swift Package Index