Skip to content
Advertisement

Tag: z3py

Build in Z3 python a list of tuples

I am attempting to use Z3 solver in python to create a predicate path(list) which returns true if the list is a valid path on a given graph G I would like to construct a list of tuples using Z3 to represent all edges present in the graph, here is my first attempt: However I am getting an error: Z3Exception:

Advertisement