naturalnumbertableadderexception.java

Java版的SAT求解器

package positronic.satisfiability.exceptions;

public class NaturalNumberTableAdderException extends Exception
{
	private static final long serialVersionUID = 1L;

	public NaturalNumberTableAdderException(String s)
	{
		super(s);
	}
}