TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Cloning solvers #50

Open mhyee opened 10 years ago

mhyee commented 10 years ago

Suppose we have a bi-objective problem for PGIA, and we split the search space. The two new subproblems will be using two solvers that are very similar -- in fact, we could clone a solver, and then apply the extra constraints.

(Currently, we create the solvers from scratch.)