Kleene solver stub