1 package org.sat4j.multicore;
2
3 import org.sat4j.AbstractLauncher;
4 import org.sat4j.pb.LanceurPseudo2007;
5
6 public class MultiCoreLauncher {
7
8 private MultiCoreLauncher() {
9 // hidden from other objects.
10 }
11
12 /**
13 * @param args
14 */
15 public static void main(String[] args) {
16 final AbstractLauncher lanceur = new LanceurPseudo2007(
17 SolverFactory.instance());
18 if (args.length == 0 || args.length > 3) {
19 lanceur.usage();
20 return;
21 }
22 lanceur.run(args);
23 System.exit(lanceur.getExitCode().value());
24 }
25
26 }