Uses of Class
net.sf.tweety.logics.pl.sat.MaxSatSolver

Packages that use MaxSatSolver

Package	Description
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.logics.pl.sat

Uses of MaxSatSolver in net.sf.tweety.arg.dung.reasoner

Fields in net.sf.tweety.arg.dung.reasoner declared as MaxSatSolver

Modifier and Type	Field	Description
private MaxSatSolver	SeemAcceptabilityReasoner.maxSatSolver

Constructors in net.sf.tweety.arg.dung.reasoner with parameters of type MaxSatSolver

Constructor	Description
SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver)	Creates a new IaqAcceptabilityReasoner.

Uses of MaxSatSolver in net.sf.tweety.logics.pl.sat

Subclasses of MaxSatSolver in net.sf.tweety.logics.pl.sat

Modifier and Type	Class	Description
class	OpenWboSolver	Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.