marmoteCore is a C++ environment for modeling with Markov chains.
It consists in a reduced set of high-level abstractions for constructing
state spaces, transition structures and Markov chains (discrete-time and
continuous-time). It provides the ability of constructing hierarchies of Markov
models, from the most general to the particular, and equip each level with
specifically optimized solution methods.
This software is developed within the ANR MARMOTE project: ANR-12-MONU-00019.