release
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
release [2020/11/18 19:22] – [How to use the tool] conan | release [2020/11/18 19:23] – conan | ||
---|---|---|---|
Line 61: | Line 61: | ||
<code java> | <code java> | ||
D{3,0} [F (s=2 | s=3)] | D{3,0} [F (s=2 | s=3)] | ||
+ | D{4,0} [F (s=2 | s=3)] | ||
</ | </ | ||
+ | The second property with $\epsilon = 4$ is the only one to be satisfied. | ||
release.txt · Last modified: 2020/11/18 19:30 by conan