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 上下载。该下模块的都下，但是注意版本号。