mona 1.4-15-1.1 source package in Ubuntu
Changelog
mona (1.4-15-1.1) unstable; urgency=medium * Non-maintainer upload. * Build with -fgnu89-inline. Closes: #778011. -- Matthias Klose <email address hidden> Wed, 08 Jul 2015 15:57:00 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| mona_1.4-15-1.1.dsc | 1.9 KiB | faf330af3a075625df61e83038fece2137300d3edcd03709e4fd7fe09d86a9f7 |
| mona_1.4-15.orig.tar.gz | 665.8 KiB | c107079dda8d4a9d82ffa382bad6fe206d6d995c9e8da978c33fe804bc26afcc |
| mona_1.4-15-1.1.debian.tar.xz | 6.1 KiB | ac5c046e2b84e8e2d7704617deb1ff47d4c8bd98472fa778ea0d9c7c8d36a816 |
Available diffs
- diff from 1.4-15-1 to 1.4-15-1.1 (436 bytes)
No changes file available.
Binary packages built by this source
- mona: 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/.
- mona-dbgsym: No summary available for mona-dbgsym in ubuntu yakkety.
No description available for mona-dbgsym in ubuntu yakkety.
