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

Packages that use DimacsSatSolver

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.logics.pl.sat

Uses of DimacsSatSolver in org.tweetyproject.arg.dung.reasoner

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type DimacsSatSolver

Modifier	Constructor	Description
	FudgeAcceptabilityReasoner(DimacsSatSolver satSolver)	Creates a new FudgeAcceptabilityReasoner.

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

Subclasses of DimacsSatSolver in org.tweetyproject.logics.pl.sat

Modifier and Type	Class	Description
class	CmdLineSatSolver	This class offers a generic wrapper for command line based SAT solvers.
class	Sat4jSolver	Uses the Sat4j library for SAT solving (note that currently only the light version is used).