project raising up changes
solver model implementation
solver main code added
states generator added
generator convertor added
resolver algoritm fixed
small tests