mona 1.4-13-3ubuntu1 source package in Ubuntu

Changelog

mona (1.4-13-3ubuntu1) trusty; urgency=medium

  * Use dh-autoreconf to try to fix FTBFS on ppc64el.
 -- Logan Rosen <email address hidden>   Sun, 22 Dec 2013 01:54:55 -0500

Upload details

Uploaded by:
Logan Rosen
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe misc

Downloads

File Size SHA-256 Checksum
mona_1.4-13.orig.tar.gz 603.9 KiB 6e62668220b866b6e37b26f105a98f886f39d21fa328d344bad2e39bc0525d5b
mona_1.4-13-3ubuntu1.debian.tar.gz 6.3 KiB fbb2771f67a0ab1f07fe31d828459d7b4dbc0785eefc675f1cff3aa39daa60c2
mona_1.4-13-3ubuntu1.dsc 1.7 KiB 7789dd634975b8efd436a3de41fe9ffe8f092990ebfc3159c3f0098962f0dce6

Available diffs

View changes file

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/.