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