Gecode 6.4.0
IO.md File Reference