Add dummy solver.
Update enums.
Update enums.
Add dummy solver.
Print solver name instead of ID.
Fix logging messages. Add request counter.