more automatons
automaton with dispatcher
more on nfa
bit vector as int set
more on nfa
pick k uniforms
more doc
testing probability utils
bugfix
jump enumerables
stirling approximation
approximations