Reference Status Enumeration Reference

Status

public enum Status

Status for invocations of Z3Solver and Z3Optimize check methods

satisfiable
Declaration
Swift

case satisfiable
unsatisfiable
Declaration
Swift

case unsatisfiable
unknown
Declaration
Swift

case unknown