Una classe per eseguire il check della soluzione trovata (da implementare).
Solver è la classe che contiene la strategia di applicazione dei teoremi (skell).