best_score_limit does not terminate during search

[mmlws]

I noticed in the simple example adding best_score_limit = "0hard/0soft" under termination in solver.toml doesn't do anything and continues to solve until the time limit. Is it meant to terminate during the search?

[blackopsrepl]

Thank you for reporting, it's a bug. Management of termination / diminishing returns is an area that needs to be reviewed.
Since I'm already wrapping up 0.13.0, I'll look into this.