public static void main(String[] args) { WCSP wcsp; try { // File inFile = new File("/home/nyga/code/prac/models/filling/temp.wcsp"); File inFile = new File("/usr/wiss/nyga/temp.wcsp"); wcsp = WCSP.fromFile(inFile); Stopwatch sw = new Stopwatch(); sw.start(); wcsp.unifyConstraints(); System.out.println("unification time: " + sw.getElapsedTimeSecs()); // wcsp.writeWCSP(new PrintStream("/home/nyga/code/prac/models/filling/unified.wcsp"), // "unifiedWCSP"); } catch (IOException e) { // TODO Auto-generated catch block e.printStackTrace(); } }