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