diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-23 18:36:52 +0000 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2016-05-23 18:36:52 +0000 |
| commit | 54a08f695469164af42c22e5816710e439424ed8 (patch) | |
| tree | 7ffeae3a4a4f9fb8ec235ae9ab56c930f8e91966 /math/ltl2ba/pkg-descr | |
| parent | fbcd69b81ae80a3f4b44d78e2ec0b49bfad1678b (diff) | |
Notes
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 55982fb67807..de5f5f36f953 100644 --- a/math/ltl2ba/pkg-descr +++ b/math/ltl2ba/pkg-descr @@ -8,4 +8,4 @@ is simplified before any treatment. ltl2ba is more efficient than 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/ +WWW: http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ |