Difference between revisions of "NewsEntry (2016/02/19)"
From LRDE
| Line 1: | Line 1: | ||
{{News |
{{News |
||
| − | |title=[https://www.lrde.epita.fr/wiki/ |
+ | |title=[https://www.lrde.epita.fr/wiki/Vcsn Vcsn] 2.2 released |
| + | |subtitle=Vcsn is a platform for weighted automata and rational expressions. |
||
| − | |||
| + | It consists of an efficient C++ generic library, shell tools, Python |
||
| − | |||
| + | bindings, and a graphical interactive environment on top of IPython. |
||
| − | |subtitle=Spot is a C++ library for model checking and manipulation |
||
| + | This version features some noteworthy changes. |
||
| − | of temporal logic formula and omega-automata. It also |
||
| ⚫ | |||
| − | comes with command-line tools and Python bindings. |
||
| − | Spot 2.0 is the result of 28 months of work, as we started working on |
||
| − | this branch after the release of Spot 1.2.1 (Dec 2013). |
||
| ⚫ | |||
}} |
}} |
||
Latest revision as of 12:01, 12 April 2016
| Title | Vcsn 2.2 released |
|---|---|
| Sub-Title | Vcsn is a platform for weighted automata and rational expressions.
It consists of an efficient C++ generic library, shell tools, Python bindings, and a graphical interactive environment on top of IPython. This version features some noteworthy changes. |
| Date | 2016/02/19 |