added new snippets for solver