View Javadoc

1   package org.sat4j.multicore;
2   
3   import org.sat4j.BasicLauncher;
4   import org.sat4j.multicore.SolverFactory;
5   import org.sat4j.specs.ISolver;
6   
7   public class MultiCoreLauncher {
8   
9   	/**
10  	 * @param args
11  	 */
12  	public static void main(String[] args) {
13  		BasicLauncher<ISolver> lanceur = new BasicLauncher<ISolver>(SolverFactory.instance());
14          lanceur.run(args);
15          System.exit(lanceur.getExitCode().value());
16  	}
17  
18  }