Uses of Interface
org.sat4j.tools.OutcomeListener

Packages that use OutcomeListener

org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of OutcomeListener in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement OutcomeListener

class

ManyCorePB

Uses of OutcomeListener in org.sat4j.tools

Classes in org.sat4j.tools that implement OutcomeListener

class

ManyCore<S extends ISolver> A class allowing to run several solvers in parallel.