Last released Oct 27, 2026
Library for input/output of transition systems in a unified Markov binary (UMB) format.
PAYNT - Probabilistic progrAm sYNThesizer