Added counter solvers
Added automat solving. Trying to refactor thing a bit.