Simplify BenchmarkRunner; update docs

This commit is contained in:
2021-01-22 07:22:19 -06:00
parent aa9cefb9c9
commit f755661fa6
11 changed files with 191 additions and 178 deletions

View File

@@ -6,10 +6,10 @@ edit_uri: edit/dev/docs/
nav:
- Home: index.md
- Usage: usage.md
- Benchmark: benchmark.md
- Problems: problems.md
- Customization: customization.md
- About: about.md
- API: api/miplearn/index.html
plugins:
- search
markdown_extensions: