Is it possible to have saveState() and loadState() in MaxSATSolver?

logic-ng / LogicNG

The Next Generation Logic Library

Apache License 2.0

132 stars 26 forks source link

Is it possible to have saveState() and loadState() in MaxSATSolver? #36

Closed tendyliu closed 8 months ago

tendyliu commented 3 years ago

There is saveState() and loadState() functions in MiniSat, it is very useful for not restart the solver from draft.

SHildebrandt commented 8 months ago

Sorry for the late response! 🙈

Simple answer: We don't know and we haven't tried it yet.

Since the save/load-state functionality in MiniSat was really tricky to implement, we would expect that it will be quite an effort for MaxSAT solvers. Particularly testing the correctness for such functionality is really hard.

So from our side it will probably not be implemented in the near future.