1 package org.sat4j.multicore;
2
3 import org.sat4j.core.ASolverFactory;
4 import org.sat4j.specs.ISolver;
5
6 public class SolverFactory extends ASolverFactory<ISolver> {
7
8 private static final SolverFactory instance = new SolverFactory();
9
10 private SolverFactory() {
11
12 }
13
14 public static SolverFactory instance() {
15 return instance;
16 }
17
18
19
20
21 private static final long serialVersionUID = 1L;
22
23 public static ISolver newManyCore() {
24 return new ManyCore(org.sat4j.minisat.SolverFactory.instance(),"Default", "MiniSATNoRestarts","MiniSATHeapExpSimp","MiniSAT2Heap");
25 }
26
27 @Override
28 public ISolver defaultSolver() {
29 return newManyCore();
30 }
31
32 @Override
33 public ISolver lightSolver() {
34 return newManyCore();
35 }
36
37 }