Class LargerInterpretationSatEncoding

  • All Implemented Interfaces:
    SatEncoding

    public class LargerInterpretationSatEncoding
    extends java.lang.Object
    implements SatEncoding
    Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
    Author:
    Mathias Hofer