K 25
svn:wc:ra_dav:version-url
V 46
/svn/NuSMV2/!svn/ver/15856/trunk/nuXmv/contrib
END
vmt2btor.py
K 25
svn:wc:ra_dav:version-url
V 58
/svn/NuSMV2/!svn/ver/15612/trunk/nuXmv/contrib/vmt2btor.py
END
README.txt
K 25
svn:wc:ra_dav:version-url
V 57
/svn/NuSMV2/!svn/ver/14330/trunk/nuXmv/contrib/README.txt
END
btor2nuxmv.py
K 25
svn:wc:ra_dav:version-url
V 60
/svn/NuSMV2/!svn/ver/15856/trunk/nuXmv/contrib/btor2nuxmv.py
END
vmt2nuxmv.py
K 25
svn:wc:ra_dav:version-url
V 59
/svn/NuSMV2/!svn/ver/15856/trunk/nuXmv/contrib/vmt2nuxmv.py
END
