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.
-