Uses of Interface
org.sat4j.minisat.core.SearchListener

Packages that use SearchListener

org.sat4j.minisat.core

Implementation of the MiniSAT solver skeleton.

Uses of SearchListener in org.sat4j.minisat.core

Classes in org.sat4j.minisat.core that implement SearchListener

class	DotSearchListener
class	TextOutputListener

Methods in org.sat4j.minisat.core with parameters of type SearchListener

void	Solver.setSearchListener(SearchListener sl)