diff options
| author | eadler <eadler@FreeBSD.org> | 2012-01-08 07:01:25 +0000 |
|---|---|---|
| committer | eadler <eadler@FreeBSD.org> | 2012-01-08 07:01:25 +0000 |
| commit | 2af37586dd84334969fd869dcc6cb3d47829eccd (patch) | |
| tree | 62395dd54a465b9c4bd2603a890def12cb5a9f15 /math/ltl2ba/pkg-descr | |
| parent | 918a021f810a201153300d3f3295266ae183630a (diff) | |
| download | FreeBSD-ports-2af37586dd84334969fd869dcc6cb3d47829eccd.zip FreeBSD-ports-2af37586dd84334969fd869dcc6cb3d47829eccd.tar.gz | |
Repeated words are are hard to to find sometimes.
Approved by: portmgr (itetcu)
Diffstat (limited to 'math/ltl2ba/pkg-descr')
| -rw-r--r-- | math/ltl2ba/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/ltl2ba/pkg-descr b/math/ltl2ba/pkg-descr index 68a2cfa..55982fb 100644 --- a/math/ltl2ba/pkg-descr +++ b/math/ltl2ba/pkg-descr @@ -5,7 +5,7 @@ transforms it into a Buechi automaton, using a generalized Buechi automaton as an intermediate step. Each automaton is simplified on-the-fly in order to save memory and time. As usual the LTL formula is simplified before any treatment. ltl2ba is more efficient than -Spin 3.4.1, with regard to the the size of the resulting automaton, +Spin 3.4.1, with regard to the size of the resulting automaton, the time of the computation, and the memory used. WWW: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ |
