This is a copy of the BuDDy library.
This repository hosts the different modules that will process CheneTAL corpora.
Standard Formalisms Library for CosyVerif
Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Partial Order Model checker for PETri nets
repository of the sbench python package