TG-838 Documentation of the string solver#1455

Merged

peterschrammel merged 2 commits intodiffblue:developfrom

romainbrenguier:doc/string-solver-documentation

Nov 2, 2017

Commits on Nov 1, 2017

Documentation improvements and readme for strings
romainbrenguier
committed

Commits on Nov 2, 2017

Style: use NOLINTNEXTLINE to avoid cpplint errors on long links
romainbrenguier
committed