diff --git a/dfa/benchmark.org b/dfa/benchmark.org index 223111e44987fb0b45f5d7dd7b589c6843707958..1d4290b17fe9d045b41006aaa36e590a277823ad 100644 --- a/dfa/benchmark.org +++ b/dfa/benchmark.org @@ -1,4 +1,5 @@ #+TITLE: Random DFAs +#+LATEX_HEADER: \usepackage[a4paper,margin=1in,landscape]{geometry} * Generating the benchmarks