Uses of Interface
it.unitn.disi.smatch.deciders.ISATSolver

Packages that use ISATSolver

it.unitn.disi.smatch.deciders
it.unitn.disi.smatch.matchers.structure.node

Uses of ISATSolver in it.unitn.disi.smatch.deciders

Classes in it.unitn.disi.smatch.deciders that implement ISATSolver

class	JSAT JSAT-based solver.
class	openSAT OpenSAT-based solver.
class	openSATcached OpenSAT-based caching implementation.
class	SAT4J

Uses of ISATSolver in it.unitn.disi.smatch.matchers.structure.node

Fields in it.unitn.disi.smatch.matchers.structure.node declared as ISATSolver

protected ISATSolver

BaseNodeMatcher.satSolver