package CSP;

/**
 * Title:        CSPTop
 * Description:  Top-level class for CSP
 * Copyright:    Copyright (c) 2005
 * Company:      MIT
 * @author Andreas Hofmann
 * @version 1.0
 */



public class CSPTop {

    static CSP_rep current_csp = null;

    public CSPTop()
    {
	current_csp = new NQueens(4);   // Gets rough at about 18 queens.
	current_csp.initialize();
    }

    // Main method
    public static void main(String[] args)
    {
	new CSPTop();
	current_csp.print();

	System.out.println("\nSolving");

	boolean solve_res = current_csp.backtrack();

	System.out.println("Consistent result = " + solve_res);
	System.out.println("Solution:");

	current_csp.print();
    }
}