XMLCSPReader null point error

package queens; import java.io.FileNotFoundException; import java.io.IOException; import org.sat4j.csp.SolverFactory; import org.sat4j.reader.ParseFormatException; import org.sat4j.reader.XMLCSPReader; import org.sat4j.specs.ContradictionException; import org.sat4j.specs.IProblem; import org.sat4j.specs.ISolver; import org.sat4j.specs.TimeoutException; import org.sat4j.tools.ModelIterator; public class Solver { public static void main(String[] args) { ISolver solver = SolverFactory.newDefault(); solver.setTimeout(360); ModelIterator mi = new ModelIterator(solver); XMLCSPReader reader = new XMLCSPReader(solver); try { if (reader != null) reader.parseInstance("queens.xml"); IProblem problem = mi; boolean unsat = true; int count = 1; while (problem.isSatisfiable()) { unsat = false; System.out.print("[" + count + "] "); for (int i = 0; i < mi.model().length; i++) { System.out.print(mi.model()[i] + " "); } System.out.println(""); // Call mi.model() to be sure you iterate to the next solution mi.model(); count++; } if (unsat) { System.out.println("Unsitisfied"); } } catch (TimeoutException e) { System.out.println("Timeout"); } catch (FileNotFoundException e) { System.out.println("File not found"); } catch (IOException e) { System.out.println("IO Exception"); } catch (ParseFormatException e) { System.out.println("ParseFormatException"); } catch (ContradictionException e) { System.out.println("Contradiction"); } catch (java.lang.NullPointerException e) { System.out.print("NullPointerException"); } } }

上面一段代码不知道如何，一直报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 上下载。该下模块的都下，但是注意版本号。