naturalnumberexception.java

Java版的SAT求解器

package positronic.satisfiability.exceptions;

/**
 * <p>Title: NaturalNumberException</p>
 * <p>Description: TBS</p>
 * <p>Copyright (c) 2005</p>
 * <p>Company: Positronic Software</p>
 * @author Kerry Michael Soileau
 * @version 1.0
 */

public class NaturalNumberException extends java.lang.Exception
{
  private static final long serialVersionUID = 1L;
  
  public NaturalNumberException(String s)
  {
    super(s);
  }
}