-
Jukka-Pekka Iivonen authored
2002-03-27 Jukka-Pekka Iivonen <jiivonen@hutcs.cs.hut.fi> * src/xml-io.c: Added saving and loading of Solver's options.
a02c4c8d
2002-03-27 Jukka-Pekka Iivonen <jiivonen@hutcs.cs.hut.fi> * src/xml-io.c: Added saving and loading of Solver's options.