.. currentmodule:: momba.ext.jani


JANI-Model
==========

The `JANI specification`_ defines a JSON-based standardized exchange format for quantitative models.
Momba supports loading and saving models in the JANI format.

.. _`JANI specification`: http://www.jani-spec.org/

.. automodule:: momba.ext.jani
    :members: load_model, dump_model