Package: maria
Version: 1.3.5-6build1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 1074
Depends: libc6 (>= 2.38), libreadline8t64 (>= 6.0), libstdc++6 (>= 4.6)
Recommends: maria-doc, lbt, graphviz
Conflicts: maria-vis
Replaces: maria-vis
Section: math
Priority: optional
Homepage: http://www.tcs.hut.fi/Software/maria/
Description: reachability analyzer for Algebraic System Nets
 Maria is a powerful tool designed to aid engineers in modelling and
 solving concurrency related problems in parallel and distributed
 computing systems.
 .
 Maria finds deadlocks and violations against safety or liveness
 requirements by exploring all states that can be reached from the
 initial state of a system.  The tool manages tens or hundreds of
 millions of reachable states and enabled actions.
 .
 The expressive power of Maria's formalism is close to high-level
 programming languages, thanks to its rich data type system and
 powerful algebraic operations.
