sequentialization

There are 2 repositories under sequentialization topic.

  • rakles/matrix-lock

    a GitHub Action that allows for sequential execution of matrix runners by utilizing the artifact system to share a lock

    Language:JavaScript3101

  • clemevi/cseqGui

    CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization.

    Language:Python0201