Skip to content
GitLab
  • Explore
  • Sign in
  • Software
  • COOL
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • modcheck
    563af072 · Model verifyer in modelchecking tests · Dec 07, 2023
    !15
    Download source code
    zip tar.gz tar.bz2 tar
  • tl-star
    c89d022e · Change in the labeling of automaton states · Dec 03, 2023
    !17
    Download source code
    zip tar.gz tar.bz2 tar
    Download artifacts
    Manual
    Previous Artifacts
    • docker-image
  • master default protected
    dae44483 · Unified solver early termination · Nov 30, 2023
    Download source code
    zip tar.gz tar.bz2 tar
    Download artifacts
    Previous Artifacts
    • docker-image
  • fuzzy
    26af0799 · Dune files for fuzzy · Jun 11, 2021
    Download source code
    zip tar.gz tar.bz2 tar
  • cleanup
    fb543fc7 · Explanations · Mar 30, 2021
    Download source code
    zip tar.gz tar.bz2 tar
  • coalg-el
    1c6b0483 · final cleanup for coalgebraic EL · Oct 14, 2016
    Download source code
    zip tar.gz tar.bz2 tar