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 |