michaelg/dev: links for smart-solver