deb_control_files:
- conffiles
- control
- md5sums
- postinst
- preinst
- prerm
deb_fields:
Architecture: arm64
Conflicts: maria-vis
Depends: libc6 (>= 2.17), libgcc1 (>= 1:3.0), libncurses6 (>= 6), libreadline8 (>=
6.0), libstdc++6 (>= 4.6), libtinfo6 (>= 6)
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.
Homepage: http://www.tcs.hut.fi/Software/maria/
Installed-Size: '1134'
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Package: maria
Priority: extra
Recommends: maria-doc, lbt, graphviz
Replaces: maria-vis
Section: math
Source: maria (1.3.5-4.1)
Version: 1.3.5-4.1+b2
srcpkg_name: maria
srcpkg_version: 1.3.5-4.1