Uploaded image for project: 'Sat4j'
  1. Sat4j
  2. SAT-10

allow ability to clone a solver

    Details

    • Type: New Feature
    • Status: Closed
    • Priority: Major
    • Resolution: Won't Fix
    • Affects Version/s: None
    • Fix Version/s: 2.3.1
    • Component/s: core, pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      need to clone a solver to launch multiple instances of a solver to compute best utility on some optimization function for a single optimization problem

        Activity

          People

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

            Dates

            • Due:
              Created:
              Updated:
              Resolved: