minor doc suggestion #239
Description
The readme says cvc5 is needed but in fact z3 is also needed even for 'lake build'.
The readme does mention z3 under Troubleshooter.
{{ message }}
The readme says cvc5 is needed but in fact z3 is also needed even for 'lake build'.
The readme does mention z3 under Troubleshooter.