Uses of Class
org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver

Packages that use DimacsMaxSatSolver

Package	Description
org.tweetyproject.logics.pl.sat

Uses of DimacsMaxSatSolver in org.tweetyproject.logics.pl.sat

Subclasses of DimacsMaxSatSolver 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.