Serialized Form

Package org.sat4j.sat

Class org.sat4j.sat.Lanceur extends AbstractLauncher implements Serializable

serialVersionUID: 1L

Serialized Fields

factory

ASolverFactory<T extends ISolver> factory

filename

java.lang.String filename

k

int k