Uses of Class
org.tweetyproject.logics.pl.sat.MaxSatSolver
-
Packages that use MaxSatSolver Package Description org.tweetyproject.arg.dung.reasoner org.tweetyproject.logics.pl.sat -
-
Uses of MaxSatSolver in org.tweetyproject.arg.dung.reasoner
Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type MaxSatSolver Constructor Description SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver)
Creates a new IaqAcceptabilityReasoner. -
Uses of MaxSatSolver in org.tweetyproject.logics.pl.sat
Subclasses of MaxSatSolver in org.tweetyproject.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.
-