Skip to content

Limit wall clock time spent on optimization trials#115

Merged
shssoichiro merged 1 commit intoshssoichiro:masterfrom kornelski:timeoutJul 12, 2018

Commits

Commits on Jul 11, 2018