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

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.