Uses of Package
org.tweetyproject.logics.pl.sat
-
Packages that use org.tweetyproject.logics.pl.sat Package Description org.tweetyproject.arg.dung.reasoner org.tweetyproject.logics.pl.analysis org.tweetyproject.logics.pl.sat org.tweetyproject.web.services -
Classes in org.tweetyproject.logics.pl.sat used by org.tweetyproject.arg.dung.reasoner Class Description MaxSatSolver Provides a generic class for implementing MaxSAT solvers, i.e.SatSolver Abstract class for specifying SAT solvers. -
Classes in org.tweetyproject.logics.pl.sat used by org.tweetyproject.logics.pl.analysis Class Description SatSolver Abstract class for specifying SAT solvers. -
Classes in org.tweetyproject.logics.pl.sat used by org.tweetyproject.logics.pl.sat Class Description MaxSatSolver Provides a generic class for implementing MaxSAT solvers, i.e.PlMusEnumerator This abstract class models a MUS enumerator for propositional logic, i.e.SatSolver Abstract class for specifying SAT solvers. -
Classes in org.tweetyproject.logics.pl.sat used by org.tweetyproject.web.services Class Description SatSolver Abstract class for specifying SAT solvers.