Provide a way to serialize constraints in files
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
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.