Maple package for verifying ultradiscrete soliton solutions. We present a computer algebra program for verifying ... soliton solutions of ultradiscrete equations in which both dependent and independent variables take discrete values...