momba

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

APACHE-2.0 License

Downloads

5.7K

Stars

17

Committers

View Code on GitHub Visit Website

Ecosystems: Python

momba - Version 0.6.11 Latest Release

Published by koehlma 3 months ago

momba - Version 0.6.10

Published by koehlma 9 months ago

What's Changed

add support for equality constraints in TA by @senniraf in https://github.com/koehlma/momba/pull/14

Full Changelog: https://github.com/koehlma/momba/compare/v0.6.9...v0.6.10

momba - Version 0.6.10

Published by koehlma 9 months ago

What's Changed

add support for equality constraints in TA by @senniraf in https://github.com/koehlma/momba/pull/14

Full Changelog: https://github.com/koehlma/momba/compare/v0.6.9...v0.6.10

momba - Version 0.6.9

Published by koehlma 9 months ago

Version 0.6.9

momba - Version 0.6.8

Published by koehlma over 1 year ago

momba - Version 0.6.7

Published by koehlma almost 2 years ago

momba - Version 0.6.6

Published by koehlma about 2 years ago

momba - Version 0.6.5

Published by koehlma over 2 years ago

momba - Version 0.6.4

Published by koehlma over 2 years ago

momba - Version 0.6.3

Published by koehlma over 2 years ago

momba - Version 0.6.2

Published by koehlma over 2 years ago

momba - Version 0.6.1

Published by koehlma almost 3 years ago

momba - Version 0.6.0

Published by koehlma almost 3 years ago

momba - Version 0.5.5

Published by koehlma almost 3 years ago

momba - Version 0.5.4

Published by koehlma almost 3 years ago

momba - Version 0.5.3

Published by koehlma almost 3 years ago

momba - Version 0.5.2

Published by koehlma almost 3 years ago

momba - Version 0.5.1

Published by koehlma almost 3 years ago

momba - Version 0.4.3

Published by koehlma about 3 years ago

momba - Version 0.4.2

Published by koehlma about 3 years ago

Package Rankings

Top 24.01% on Crates.io

Top 16.19% on Pypi.org

Related Projects

bocas

ai-microcore

# Minimalistic Foundation for AI Applications

Gepetto

IDA plugin which queries uses language models to speed up reverse-engineering

04 Dec 2022 2,809

manticore

Symbolic execution tool

10 Feb 2017 3,681

OpenMoE

A family of open-sourced Mixture-of-Experts (MoE) Large Language Models

08 Aug 2023 1,368

digital_palace

My Digital Palace - A Personal Journal for Reflection - A place to store all my thoughts

cambrian

Cambrian-1 is a family of multimodal LLMs with a vision-centric design.

17 Jun 2024 1,703

CCSD

Combinatorial Complex Score-based Diffusion model using stochastic differential equations

mmengine

OpenMMLab Foundational Library for Training Deep Learning Models

08 Feb 2022 1,093

mujoco-maze

Simple maze environments using mujoco-py