Commit 78dc6c47 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

install ltl3dra 0.2.8

parent f5968ef3
Pipeline #4642 passed with stage
in 31 minutes and 15 seconds
......@@ -32,6 +32,7 @@ For convenience the following third-party tools have also been
installed (see /usr/local/share/doc/ for license details):
- ltl2ba 1.2 (GPL 2)
- ltl3ba 1.1.3 (GPL 2)
- ltl2dra 0.2.8 (GPL 2)
- ltl3tela 1.1.2 (GPL 3)
- ltl2dstar 0.5.4 (GPL 2)
- Seminator 1.2.0 (GPL 3)
......@@ -42,7 +43,7 @@ installed (see /usr/local/share/doc/ for license details):
- spins 1.1 (Apache license 2.0)
All of these can interact with the shell commands or Python bindings
of Spot. The first eight because they generate automata in formats
of Spot. The first nine because they generate automata in formats
that Spot can read; the last two because they can encode a Kripke
structure as a shared-library that can be loaded by the functions in
the spot.ltsmin module. The ltsmin-dve.ipynb and ltsmin-pml.ipynb
......
......@@ -34,16 +34,16 @@ cd ..
rm -rf ltl3ba-$V ltl3ba-$V.tar.gz
# LTL3DRA
# V=0.2.6
# wget https://github.com/xblahoud/ltl3dra/archive/v$V.tar.gz -O ltl3dra-$V.tar.gz
# tar xvf ltl3dra-$V.tar.gz
# cd ltl3dra-$V
# make -j4
# mv ltl3dra /usr/local/bin/
# mkdir -p /usr/local/share/doc/ltl3dra
# cp LICENSE README /usr/local/share/doc/ltl3dra
# cd ..
# rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
V=0.2.8
wget https://github.com/xblahoud/ltl3dra/archive/v$V.tar.gz -O ltl3dra-$V.tar.gz
tar xvf ltl3dra-$V.tar.gz
cd ltl3dra-$V
make -j4
mv ltl3dra /usr/local/bin/
mkdir -p /usr/local/share/doc/ltl3dra
cp LICENSE README /usr/local/share/doc/ltl3dra
cd ..
rm -rf ltl3dra-$V ltl3dra-$V.tar.gz
# LTL3TELA
V=1.1.2
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment