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();
}
}
