z3.z3types.Z3Exception: ast is null

[lauraasam]

When I ran this command:
./synet.py -i examples/simple.logic -r examples/simple-req.logic -m bgp
it comes the error:

The version of z3 is 4.5.1.0
I want to know how to solve this problem.
thanks for your reply!

[ahassany]

This code base is really old and unmaintained really.
But try again with Z3 version 4.7.1. I just ran it on a fresh install and it worked there with no problem.

[lauraasam]

Thank you so much for the reply! I will try it with version 4.7.1.