Package - mona

Package:  mona
apt-get install mona
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mona/mona_1.4-18-1+b1_amd64.deb (Size: 317.1KiB)

PropertyValue
Packagemona
Sourcemona (1.4-18-1)
Version1.4-18-1+b1
Installed-Size1394
MaintainerDebian Science Maintainers
Architectureamd64
Dependslibc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Recommendsgraphviz
Descriptiontheorem prover based on automata
Description-md52fcd097fb45a3451958acd496a75b3eb
Homepagehttps://www.brics.dk/mona/
Tagfield::mathematics, role::program, scope::utility
Sectionscience
Priorityoptional
Filenamepool/main/m/mona/mona_1.4-18-1+b1_amd64.deb
Size324668
MD5sum3e9e570072340d1e32001160a4e2bf63
SHA256a8d0efc2e3c6583cb8b002c9f1008b15cab6d458db3699cae35b8075fcd5e4f1

Files in package

  • /etc/emacs/site-start.d/50mona.el
  • /usr/bin/dfa2dot
  • /usr/bin/gta2dot
  • /usr/bin/mona
  • /usr/include/mona/bdd.h
  • /usr/include/mona/config.h
  • /usr/include/mona/dfa.h
  • /usr/include/mona/dlmalloc.h
  • /usr/include/mona/gnuc.h
  • /usr/include/mona/gta.h
  • /usr/include/mona/mem.h
  • /usr/lib/emacsen-common/packages/install/mona
  • /usr/lib/emacsen-common/packages/remove/mona
  • /usr/lib/x86_64-linux-gnu/libmonabdd.a
  • /usr/lib/x86_64-linux-gnu/libmonabdd.so
  • /usr/lib/x86_64-linux-gnu/libmonabdd.so.1
  • /usr/lib/x86_64-linux-gnu/libmonabdd.so.1.0.4
  • /usr/lib/x86_64-linux-gnu/libmonadfa.a
  • /usr/lib/x86_64-linux-gnu/libmonadfa.so
  • /usr/lib/x86_64-linux-gnu/libmonadfa.so.1
  • /usr/lib/x86_64-linux-gnu/libmonadfa.so.1.0.4
  • /usr/lib/x86_64-linux-gnu/libmonagta.a
  • /usr/lib/x86_64-linux-gnu/libmonagta.so
  • /usr/lib/x86_64-linux-gnu/libmonagta.so.1
  • /usr/lib/x86_64-linux-gnu/libmonagta.so.1.0.4
  • /usr/lib/x86_64-linux-gnu/libmonamem.a
  • /usr/lib/x86_64-linux-gnu/libmonamem.so
  • /usr/lib/x86_64-linux-gnu/libmonamem.so.1
  • /usr/lib/x86_64-linux-gnu/libmonamem.so.1.0.4
  • /usr/share/doc/mona/changelog.Debian.amd64.gz
  • /usr/share/doc/mona/changelog.Debian.gz
  • /usr/share/doc/mona/changelog.gz
  • /usr/share/doc/mona/copyright
  • /usr/share/doc/mona/examples/Examples/ab1.mona
  • /usr/share/doc/mona/examples/Examples/ab2.mona
  • /usr/share/doc/mona/examples/Examples/bdd_example.c
  • /usr/share/doc/mona/examples/Examples/bdd_volatility
  • /usr/share/doc/mona/examples/Examples/even.mona
  • /usr/share/doc/mona/examples/Examples/even_with_assert.mona
  • /usr/share/doc/mona/examples/Examples/even_with_pred.mona
  • /usr/share/doc/mona/examples/Examples/gta_example.c
  • /usr/share/doc/mona/examples/Examples/html.mona
  • /usr/share/doc/mona/examples/Examples/hyman.mona
  • /usr/share/doc/mona/examples/Examples/lossy_queue.mona
  • /usr/share/doc/mona/examples/Examples/makefile
  • /usr/share/doc/mona/examples/Examples/makefile.am
  • /usr/share/doc/mona/examples/Examples/makefile.in
  • /usr/share/doc/mona/examples/Examples/minusmodulo.mona
  • /usr/share/doc/mona/examples/Examples/nadder.mona
  • /usr/share/doc/mona/examples/Examples/plusmodulo.mona
  • /usr/share/doc/mona/examples/Examples/presburger.mona
  • /usr/share/doc/mona/examples/Examples/presburger_analysis.c
  • /usr/share/doc/mona/examples/Examples/presburger_transduction.c
  • /usr/share/doc/mona/examples/Examples/regexp.mona
  • /usr/share/emacs/site-lisp/mona/mona-mode.el
  • /usr/share/lintian/overrides/mona
  • /usr/share/man/man1/mona.1.gz