L
L

NuSMV

开源软件都是些什么东西啊,这个我实在是装不上了,编译半天错误超多,个别附件还打不开网页下不来,烦死了………..