Skip to content

Add termination_condition to solve options#950

Merged
ChrisRackauckas merged 1 commit intomasterfrom u/tcOct 25, 2023