Metadata-Version: 1.1
Name: momba
Version: 0.1.3dev
Summary: A Python library for quantitative models.
Home-page: https://depend.cs.uni-saarland.de/~koehl/momba/
Author: Maximilian Köhl
Author-email: mkoehl@cs.uni-saarland.de
License: UNKNOWN
Description: MOMBA
        =====
        
        |pypi| |build| |coverage|
        
        **Momba is still in its early stages of development.
        Please expect things to break.
        The API is unstable and might change without further notice and deprecation period.**
        
        *Momba* is a Python library for working with quantitative models.
        Momba's core modeling formalism are networks of interacting *stochastic hybrid automata* (SHA) as per the `JANI specification`_.
        Momba aims to be a platform for prototyping and the development of new techniques and algorithms for the analysis of quantitative models.
        For the time being, Momba does not aim to be a model checker itself.
        Instead, Momba relies on external tools for model checking via the JANI interaction protocol. In particular, Momba works well with `The Modest Toolset`__ and `EPMC`__.
        
        __ http://www.modestchecker.net/
        __ https://github.com/ISCAS-PMC/ePMC
        
        .. _JANI specification: http://www.jani-spec.org/
         
        
        How to use Momba?
        -----------------
        Please read `the documentation`_.
        
        .. _the documentation: https://depend.cs.uni-saarland.de/~koehl/momba/
        
        
        .. |pypi| image:: https://img.shields.io/pypi/v/momba.svg?label=latest%20version
            :target: https://pypi.python.org/pypi/momba
        
        .. |build| image:: https://dgit.cs.uni-saarland.de/koehlma/momba/badges/master/pipeline.svg
            :target: https://dgit.cs.uni-saarland.de/koehlma/momba/pipelines
        
        .. |coverage| image:: https://dgit.cs.uni-saarland.de/koehlma/momba/badges/master/coverage.svg
            :target: https://dgit.cs.uni-saarland.de/koehlma/momba/pipelines
        
Platform: UNKNOWN
Classifier: License :: OSI Approved :: MIT License
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Operating System :: OS Independent
