Uses of Class
jmarkov.solvers.MtjSolver.EnumSolver