solver for solving basic problems from linear algebra at FI MUNI