Sat4j
  1. Sat4j
  2. SAT-26

After adding and removing a clause in Xplain, subsequent addition of the clause are ignored

    Details

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

      Description

      If someone tries to add several times a constraint that has just been added to the solver, Xplain will just ignore it.

      This is problematic if the clause has been removed in the meanwhile.

      A check need to be performed on clause removal.

        Activity

        Hide
        Daniel Le Berre added a comment -

        Fixed in revision 954 on HEAD.

        Show
        Daniel Le Berre added a comment - Fixed in revision 954 on HEAD.

          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