We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
7ade3e9
Released Nov. 27, 2023.
Clarify return values for different callback types (#383).
Fix return types of callbacks (#382).
Minor cleanup for printing optimization reports via Report() (#385).
Report()