Result

• enum bitwuzla::Result

• std::string std::to_string(bitwuzla::Result result)

namespace bitwuzla {

enum class bitwuzla::Result

A satisfiability result.

Values:

enumerator SAT

sat

enumerator UNSAT

unsat

enumerator UNKNOWN

unknown

namespace std {

std::string std::to_string(bitwuzla::Result result)

Get string representation of given result.

Parameters:

result – The result.

Returns:

The string representation.

}