/swift-z3

A Swift wrapper over Microsoft's Z3 Theorem Prover

Primary LanguageC++MIT LicenseMIT

Watchers