• Hans-Peter Deifel's avatar
    wta: Change --out-degree to --transitions · dbd78cf8
    Hans-Peter Deifel authored
    It's now used to specify how many transitions you want instead of how many
    transitions per state. This is strictly more powerful because you can always
    just specify states*out-degree as transition count.
    dbd78cf8
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
examples Loading commit data...
src Loading commit data...
tests Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
build.sh Loading commit data...
cabal.project Loading commit data...
copar.cabal Loading commit data...
stack.yaml Loading commit data...