Redesigned solvers' examples;
Added solvers' input files to git.