Difference between revisions of "Vcsn/Vcsn2.1"
From LRDE
(Vcsn 2.1) |
|||
| Line 22: | Line 22: | ||
* Tarballs (sources to compile): |
* Tarballs (sources to compile): |
||
| − | ** [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.bz2 vcsn-2.1.tar.bz2] ( |
+ | ** [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.bz2 vcsn-2.1.tar.bz2] (1.2MB) |
| − | ** [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.xz vcsn-2.1.tar.xz] ( |
+ | ** [{{SERVER}}/dload/vcsn/2.1/vcsn-2.1.tar.xz vcsn-2.1.tar.xz] (968KB) |
| − | |||
| − | <!-- |
||
| − | == Virtual Machine == |
||
| − | |||
| − | To install a Vaucanson virtual machine, please follow this procedure: |
||
| − | |||
| − | # Install VirtualBox from your distro, or from https://www.virtualbox.org/wiki/Downloads. |
||
| − | # Install Vagrant from your distro, or from http://www.vagrantup.com/downloads.html |
||
| − | # Download this [{{SERVER}}/dload/vaucanson/2.0/Vagrantfile Vagrantfile] and save it somewhere. For instance |
||
| − | #: <syntaxhighlight lang="bash" line enclose="div"> |
||
| − | mkdir ~/src/vcsn2 |
||
| − | cd ~/src/vcsn2 |
||
| − | wget {{SERVER}}/dload/vaucanson/2.0/Vagrantfile |
||
| − | </syntaxhighlight> |
||
| − | # Run Vagrant (first time will be slow: let it download the VM) |
||
| − | #: <syntaxhighlight lang="bash" line enclose="div"> |
||
| − | cd ~/src/vcsn2 |
||
| − | vagrant up |
||
| − | </syntaxhighlight> |
||
| − | #: Vaucanson is runnning! |
||
| − | # Open http://localhost:8888 in your favorite browser. |
||
| − | # Experiment! (Hit Shift-Enter to evaluate): |
||
| − | #: <syntaxhighlight lang="python" line enclose="div"> |
||
| − | import vcsn |
||
| − | vcsn.context('lal_char(abc)_z').ratexp('(<2>a+<3>b)*').derived_term() |
||
| − | </syntaxhighlight> |
||
| − | # Turn your VM off when you are done |
||
| − | #: <syntaxhighlight lang="bash" line enclose="div">vagrant halt</syntaxhighlight> |
||
| − | --> |
||
== Requirements == |
== Requirements == |
||
Revision as of 20:17, 11 October 2015
Vcsn 2.1 is a full rewrite of the Vaucanson platform. While it mostly
ressembles Vaucanson 1 in many regards, it is also very different in
many others: it is much faster, far easier to use, and provides a
richer feature-set.
Documentation
- Documentation of the Python interface
- The News File contains many examples
- The C++ reference manual is poor, yet not empty
Available Ports
- MacPorts
- Run this command:
sudo port sync && sudo port install vaucanson
Downloads
- Tarballs (sources to compile):
- vcsn-2.1.tar.bz2 (1.2MB)
- vcsn-2.1.tar.xz (968KB)
Requirements
In order to compile Vcsn 2.1, you need:
- C++ compiler
- Clang 3.6 or newer and GNU G++ 4.9 or newer are known to work properly.
- Graphviz
- The display of automata is made using AT&T Graphviz library. (On Ubuntu/Debian, install the following package: graphviz)
- Boost
- Boost (version 1.49 or later) provides free peer-reviewed portable C++ source libraries (at least the Boost.Python and Boost.Regex components, and probably others).
- Flex
- The Flex scanner generater, 2.5.37 or better.
- Ccache
- Compiler cache.
- Doxygen
- To build the C++ reference manual.
- IPython
- Although not strictly needed, it is required if you want to enjoy the Vcsn interactive notebooks.