GitHub repository: CyberFlameGO/swift-z3
Description: A Swift wrapper over Microsoft's Z3 Theorem Prover