Class ConflictFreeInterpretationSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class ConflictFreeInterpretationSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Author:
    Mathias Hofer