BitwuzlaResult

• enum BitwuzlaResult

• bitwuzla_result_to_string()

enum BitwuzlaResult

A satisfiability result.

Values:

enumerator BITWUZLA_SAT

sat

enumerator BITWUZLA_UNSAT

unsat

enumerator BITWUZLA_UNKNOWN

unknown

const char *bitwuzla_result_to_string(BitwuzlaResult result)

Get the string representation of a result.

Note

The returned char* pointer is only valid until the next call to bitwuzla_result_to_string.

Returns:

A string representation of the given result.