clarify configure messages
add solve and min examples
Merge branch 'next'