SatConstraintsConverter: methods to read a collection of constraints from a file or a stream.