Package: mona
Version: 1.4-18-1build1
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 1530
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14)
Recommends: graphviz
Section: science
Priority: optional
Homepage: https://www.brics.dk/mona/
Description: theorem prover based on automata
 MONA is a tool that translates formulas in the logics WS1S or WS2S
 into finite-state automata represented by BDDs.  The formulas may
 express search patterns, temporal properties of reactive systems,
 parse tree constraints, etc.  MONA also analyses the automaton
 resulting from the compilation, and determines whether the formula is
 valid and, if the formula is not valid, generates a counter-example.
 .
 Documentation is available from the MONA website http://www.brics.dk/mona/.
