Sat4j
  1. Sat4j
  2. SAT-11

Allow creation of ManyCore solver from a list/array of existing solvers instead of their name in a factory

    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: core, pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      It is currently impossible to create a new multi solver using existing solvers. One need to use a solver factory and a list of name instead.

      It would be simpler to also allow the multi solver to reuse existing solvers.

        Activity

        Hide
        Daniel Le Berre added a comment -

        First version available in release 934. Need to be checked by developers.

        Show
        Daniel Le Berre added a comment - First version available in release 934. Need to be checked by developers.
        Hide
        Daniel Le Berre added a comment -

        No complains from developers

        Show
        Daniel Le Berre added a comment - No complains from developers

          People

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

            Dates

            • Due:
              Created:
              Updated:
              Resolved:

              Development