上面一段代码不知道如何,一直报NULL Point Exception. 最后发现并非是代码写错,而是因为jre不对。需要使用opensdk-1.6。
然后:
然后:
选中java-opensdk1.6 然后在外面选中刚才的JavaSE-1.6 :
有时候eclipse报出Class Not Found错误,可能是因为jar包应该放在external jar的地方,但是你却放错了位置。添加external jar的地方。如果想添加external jars,需要在:
选中propertise,然后:
左边add external jars, 添加需要的jar即可。
如果发生了selection dose not contain a main type, 那么就需要重新创建一个Project,然后将你的文件再重新导入到新的Project中。或者粘贴过去。不知道为什么eclipse经常发生这个错误。
上面一个XMLCSPReader的各种jar文件需要在sat4j.org 上下载。该下模块的都下,但是注意版本号。