KleeneSolver

Solver finite