Class RefineUnequalSatEncoding

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.encodings.RefineUnequalSatEncoding
All Implemented Interfaces:
RelativeSatEncoding

public class RefineUnequalSatEncoding extends Object implements RelativeSatEncoding
Author:
Mathias Hofer