Skip to content
@ondrik-research-archived

Ondra Lengál's research archived repositories

Popular repositories

  1. libsfta libsfta Public

    Symbolic Finite Tree Automata library

    C++ 4 1

  2. cudd4libsfta cudd4libsfta Public

    CUDD (Colorado University Decision Diagram) package modification for libSFTA

    C 1

  3. timbuk timbuk Public

    Compilable timbuk library

    OCaml 1

  4. spen spen Public

    SeParation logic ENtailment

    C 4

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…