repositories / ar1516.git / blob
? search:


9d9e7719aeb74f32511b3a5c8a7844bcacedf2d4
[ar1516.git] / a2 / src / path.sh
1 export PATH=$PATH:/home/mart/downloads/NuSMV-2.5.4/nusmv
1516-S1 - NWI-IMC009: Automated Reasoning