org.sat4j.multicore
Classes
ManyCore
MultiCoreLauncher
SolverFactory