diff options
author | Brendan Fabeny <bf@FreeBSD.org> | 2011-05-27 18:11:32 +0000 |
---|---|---|
committer | Brendan Fabeny <bf@FreeBSD.org> | 2011-05-27 18:11:32 +0000 |
commit | dc711f5047a170fc538e72f013ff1eeb838ac1f7 (patch) | |
tree | 40dcae70a6dd4c7e6181bead6f4c360adb7fb2ea /math/Makefile | |
parent | 55452e601aee06d7e661223420d628c27e0c21e6 (diff) | |
download | ports-dc711f5047a170fc538e72f013ff1eeb838ac1f7.tar.gz ports-dc711f5047a170fc538e72f013ff1eeb838ac1f7.zip |
Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.
Notes
Notes:
svn path=/head/; revision=274737
Diffstat (limited to 'math/Makefile')
-rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 3573a3313f7d..782c51a5acbd 100644 --- a/math/Makefile +++ b/math/Makefile @@ -176,6 +176,7 @@ SUBDIR += lll_spect SUBDIR += lp_solve SUBDIR += ltl + SUBDIR += ltl2ba SUBDIR += lybniz SUBDIR += matharray SUBDIR += mathomatic |