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 }