package aula;

/**
 * Test class used to test the eight queens problem solved using JEOPS.
 *
 * @author Carlos Figueira Filho (csff@cin.ufpe.br)
 */
public class TesteRainhas {
  
  /**
   * Main entry point of the application.
   *
   * @param args command line arguments. None is needed.
   */
  public static void main(String[] args) {

    OitoRainhas kb = new OitoRainhas();
    long l1 = System.currentTimeMillis();
    for (int i = 1; i <= 4; i++) {
      for (int j = 1; j <= 4; j++) {
        kb.assert(new Rainha(i,j));
      }
    }
    long l2 = System.currentTimeMillis();
    System.out.println("Asserting time: " + (l2 - l1) + "ms");
    kb.run();
  }

}