Enumerations Reference
Enumerations
The following enumerations are available globally.
-
Status for invocations of
See moreZ3SolverandZ3Optimizecheck methodsDeclaration
Swift
public enum Status -
Contains static APIs for configuring global parameters for all Z3 contexts.
See moreDeclaration
Swift
public enum Z3GlobalParameters