repositories / ar1516.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
try for 3b
[ar1516.git] / a2 / src / path.sh
1 export PATH=$PATH:/home/mart/downloads/NuSMV-2.5.4/nusmv
2 export PATH=$PATH:/home/mart/projects/NuSMV-2.6.0-Linux/bin
3 export PATH=$PATH:/home/mart/projects/LADR-2009-11A/bin
1516-S1 - NWI-IMC009: Automated Reasoning