make -f make_z3_4.6.2

[czhgithub6]

Hello,I followed the instructions provided all the way up to Learning and Synthesis.
But I get the following error,could you help me?

[iamazeem]

@czhgithub6 : Are you still facing this issue?

[p3jitnath]

You can use this fork : nathzi1505/fastsmt. This also works with the latest z3 version 4.8.10.