diff options
| author | Eitan Adler <eadler@FreeBSD.org> | 2012-01-08 15:01:25 +0800 |
|---|---|---|
| committer | Eitan Adler <eadler@FreeBSD.org> | 2012-01-08 15:01:25 +0800 |
| commit | c5d811a37d56d8b50097c8e3ae91f58980ee7ed9 (patch) | |
| tree | 5810e1ce97ce2cdafc8ab85ef5ee1efef73f5b58 /math/ltl2ba | |
| parent | a03386997b05123634c4a845036ff9a7340f2c38 (diff) | |
| download | freebsd-ports-gnome-c5d811a37d56d8b50097c8e3ae91f58980ee7ed9.tar.gz freebsd-ports-gnome-c5d811a37d56d8b50097c8e3ae91f58980ee7ed9.tar.zst freebsd-ports-gnome-c5d811a37d56d8b50097c8e3ae91f58980ee7ed9.zip | |
Repeated words are are hard to to find sometimes.
Approved by: portmgr (itetcu)
Diffstat (limited to 'math/ltl2ba')
| -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 68a2cfafde00..55982fb67807 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/ |