public static void ToggleWarningMessages(bool enabled) { Native.Z3_toggle_warning_messages((enabled) ? 1 : 0); }