msolve-examples