Skip to content

Commit

Permalink
link to benchmarks
Browse files Browse the repository at this point in the history
  • Loading branch information
Francesco Parolini committed Apr 26, 2021
1 parent 0101fe5 commit 7c1cfac
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,8 @@ inclusion doesn't hold, and then `False` is correctly returned.
In the `test-automata` directory there are some examples of automata in the
`.ba` format.
We benchmarked `bait` with a large set of automata, and they can be found in a
separate repository.
separate repository:
[https://github.com/parof/buchi-automata-benchmark](https://github.com/parof/buchi-automata-benchmark).

## Authors

Expand Down

0 comments on commit 7c1cfac

Please sign in to comment.