| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/ltl2ba: Update 1.2 -> 1.3 | Yuri Victorovich | 2020-07-09 | 1 | -3/+3 |
| * | - Update to 1.2 | Wen Heping | 2018-05-24 | 1 | -2/+3 |
| * | Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata. | Brendan Fabeny | 2011-05-27 | 1 | -0/+2 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |