Skip to content
This repository has been archived by the owner on Jan 10, 2023. It is now read-only.

Set max edit distance. #426

Merged
merged 1 commit into from
Nov 8, 2019
Merged

Set max edit distance. #426

merged 1 commit into from
Nov 8, 2019

Conversation

anders-sandholm
Copy link
Contributor

Set max edit distance per language to the best level found in experiments.

@anders-sandholm anders-sandholm self-assigned this Nov 8, 2019
ringgaard
ringgaard approved these changes Nov 8, 2019
View reviewed changes
Copy link
Contributor

@ringgaard ringgaard left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for making this.

@anders-sandholm anders-sandholm merged commit 66d005d into google:master Nov 8, 2019
@anders-sandholm anders-sandholm deleted the mybranch branch November 8, 2019 15:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ringgaard ringgaard ringgaard approved these changes

Assignees

@anders-sandholm anders-sandholm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@anders-sandholm @ringgaard