Sat4j
  1. Sat4j
  2. SAT-45

Separate MS and PWMS decorator from the optimization method

    Details

    • Type: Improvement Improvement
    • Status: Resolved
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: 2.2.2, 2.2.3, 2.3.0
    • Fix Version/s: 2.3.1
    • Component/s: maxsat
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      Since we now have two methods for optimizing, lower bounding and upper bounding, we need to have the decorators used in MaxSat independent of the optimization method.

      This basically means that the decorator should not optimize the problem, it should delegate that to a PseudoOptDecorator or a ConstraintRelaxingPseudoOptDecorator.

      Since we use here new variables, it means updating the current pseudo-opt decorators to deal with additional variables.

        Activity

        Hide
        Daniel Le Berre added a comment -

        Completed in r1114.

        Show
        Daniel Le Berre added a comment - Completed in r1114.

          People

          • Assignee:
            Daniel Le Berre
            Reporter:
            Daniel Le Berre
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development