3 Aug
2009
3 Aug
'09
4:51 p.m.
Hi, i am planning to use the boost serialization library to implement checkpointing for an ASP/Sat solver. Unfortunately, the solver implements one (very special) optimization that makes use of a zero-sized array at the end of a class. I have found no way to store something like this using the library. There is a small program in the attachment that contains data structures similar to the ones used in the solver code. This would need a mechanism to control the allocation of memory during deserialization. Do you see any possibility do serialize something like this? Regards and thanks, Roland