naturalnumbertablexorer.java

来自「Java版的SAT求解器」· Java 代码 · 共 16 行

package positronic.satisfiability.naturalnumbertable;

public class NaturalNumberTableXorer
{

	/**
	 * @param args
	 */
	public static void main(String[] args)
	{
		// TODO Auto-generated method stub

	}

}