bugfix: boost::char_delimiter_separator was eating sings from hashes
bugfix: LinearObjective in SolutionGuarantor was not initialized with number of variables