Solver: Implement visitor pattern.#239

schvarcz wants to merge 1 commit intoibex-team:masteribex-team/ibex-lib:masterfrom

schvarcz:Solver_visitorschvarcz/ibex-lib:Solver_visitorCopy head branch name to clipboard