Uses of Class
net.automatalib.modelchecker.m3c.solver.SolverState