aboutsummaryrefslogtreecommitdiff
path: root/math/ltl2ba/pkg-descr
Commit message (Collapse)AuthorAgeFilesLines
* Convert tab after WWW: in pkg-descrs to single space as per PHBDmitry Marakasov2016-05-231-1/+1
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=415738
* Repeated words are are hard to to find sometimes.Eitan Adler2012-01-081-1/+1
| | | | | | | Approved by: portmgr (itetcu) Notes: svn path=/head/; revision=288737
* Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.Brendan Fabeny2011-05-271-0/+11
Notes: svn path=/head/; revision=274737