search

eth-sri / fastsmt

Learning to Solve SMT Formulas Fast
Apache License 2.0
85 stars 18 forks source link

make -f make_z3_4.6.2 #2

Open czhgithub6 opened 4 years ago

czhgithub6 commented 4 years ago

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

iamazeem commented 3 years ago

@czhgithub6 : Are you still facing this issue?

p3jitnath commented 3 years ago

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