The code on which iZ3 on rise4fun is based

Oct 8, 2014 at 12:39 PM
I do some experiments about interpolation using Z3 on unstable branch. However, there are some bugs in the code and Z3 doesn't produce correct result given some complex instances. In fact, I found that these complex instances work well on iZ3 on rise4fun. So I want to know which version of source code on which iZ3 on rise4fun is based. Thanks a lot!
Oct 14, 2014 at 10:53 PM
Hi cxcfan. The version of z3 used in the iz3 demonstration on rise4fun is a somewhat older version of what is currently in the unstable branch. However, I suspect the difference is that the allocation of stack space is different on the server than on your machine. I'm guessing that if you unlimit stack space, those examples will work.