Skip to content

v.1.2.7

Compare
Choose a tag to compare
@emuskardin emuskardin released this 16 May 09:22
· 418 commits to master since this release

Algorithm updates

added RPNI, a passive deterministic automata learning algorithm for DFAs, Moore, and Mealy machines
non-deterministic learning does no longer rely on all weather assumption (table shrinking and dynamic observation table update)

Features updates

following functions added to all model types
    mode.save()
    model.visualize()
    model.make_input_complete()
refactor file handler