Uses of Package
org.tweetyproject.logics.pl.sat
Package
Description
-
ClassDescriptionProvides a generic class for implementing MaxSAT solvers, i.e.Abstract class for specifying SAT solvers.
-
-
ClassDescriptionProvides a generic class for implementing MaxSAT solvers, i.e.This abstract class models a MUS enumerator for propositional logic, i.e.Abstract class for specifying SAT solvers.
-