fastsmt icon indicating copy to clipboard operation
fastsmt copied to clipboard
verified publisher icon eth-sri

make -f make_z3_4.6.2

Open czhgithub6 opened this issue 6 years ago • 2 comments

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

czhgithub6 avatar Dec 22 '19 03:12 czhgithub6

@czhgithub6 : Are you still facing this issue?

iamazeem avatar Feb 19 '21 09:02 iamazeem

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

p3jitnath avatar Jun 19 '21 17:06 p3jitnath