• Bentriou Mahmoud's avatar
    Add of a new automaton related to ABC. · de9fbd7e
    Bentriou Mahmoud authored
    It computes the euclidean distance and finish the simulation if the
    distance is above the tolerance epsilon.
    I ha to change some function signature of types in core/model.jl but it
    was minor changes.
    I add a new test + change some others related to automata.
    A minor rewriting core/model for better readability