Provide a way to serialize constraints in files
The current toString()
method is mainly used for debugging purpose. We need currently a way to dump constraints in a textual format which can be used to recover the constraint later on.
The proposal is to add a new method dump()
in IConstr
and in IProblem
to allow dumping an object to either a Dimacs of OPB file.
There are a lot of corner cases, especially regarding unit clauses.
It will require a lot of testing before being released.