Sat4j
  1. Sat4j
  2. SAT-31

Add the ability to add weighted objective function to LexicoHelper

    Details

    • Type: New Feature New Feature
    • Status: Resolved
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: 2.3.0
    • Fix Version/s: 2.3.1
    • Component/s: pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      To be able to compete in MISC 2011, a new criterion sum(property) need to be implemented.
      Such new criterion requires that the lexico optimization must be done at some point on a weighted function, while the current implementation only allows a set of literals (having all the same weight).

      The LexicoHelper class needs to be updated to allow that new feature.

        Activity

        Hide
        Daniel Le Berre added a comment -

        First implementation in r974.

        Show
        Daniel Le Berre added a comment - First implementation in r974.
        Hide
        Daniel Le Berre added a comment -

        It has been running fine during MISC 2011. Closing.

        Show
        Daniel Le Berre added a comment - It has been running fine during MISC 2011. Closing.

          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