Branches · Software / COOL · GitLab

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