give next-solver's evaluate_const its own try_evaluate_const logic - #161418
Open
zedddie wants to merge 4 commits into
Open
give next-solver's evaluate_const its own try_evaluate_const logic#161418zedddie wants to merge 4 commits into
evaluate_const its own try_evaluate_const logic#161418zedddie wants to merge 4 commits into
