Replace cout/cerr in solvers - #1875

Merged

peterschrammel merged 7 commits into

diffblue:developfrom

peterschrammel:remove-cout-solvers

Mar 8, 2018

Commits on Mar 7, 2018

Use invariant instead if printing error message to cout
peterschrammel
committed
fc44d99
Replace assert by invariant
peterschrammel
committed
f7afe1f
Clang-format
peterschrammel
committed
2529211
Clean up commented out code
peterschrammel
committed
7018ab4
Use ranged for and const
peterschrammel
committed
aaf9477

Commits on Mar 8, 2018

Use invariant instead of printing error message to cerr
peterschrammel
committed
fe40b19
Use invariant instead of abort()
peterschrammel
committed
26ef31c