This is a copy of the BuDDy library.
Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)
Symbolic Observation Graph-Based Generation of Test Paths
Strategic (Timed) Computation Tree Logic
repository of the sbench python package
Partial Order Model checker for PETri nets
This repository hosts the different modules that will process CheneTAL corpora.