2 search results for "author:"Damien Pous <Damien.Pous@ens-lyon.fr>""

  1. safa
    Symbolic Algorithms for Finite Automata
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    Last published 02 Feb 2016
  2. symkat
    Symbolic Algorithms for Kleene algebra with Tests (KAT)
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 0 other packages
    Last published 02 Feb 2016