sym_is_proven_optimal

[f]sym_is_proven_optimal

int sym_is_proven_optimal(sym_environment *env)

Description:

This post-solution query routine is used to learn whether the problem was solved to optimality.

Arguments:

sym_environment *env

IN

Pointer to the SYMPHONY environment.

Return values:

TRUE	The problem was solved to optimality.
FALSE	The problem was not solved to optimality.