mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

iterable is a Python 3 thingy

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-02-07 18:22:49 -08:00
parent 52e67b0d3e
commit 43d1ef2fee
1 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/api/python/z3/z3.py
View file

@ -50,7 +50,10 @@ import sys
import io
import math
import copy
from typing import Iterable
if sys.version < '3':
pass
else:
from typing import Iterable
Z3_DEBUG = __debug__
@ -7513,7 +7516,7 @@ class Optimize(Z3PPObject):
def asoft(a):
v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id)
return OptimizeObjective(self, v, False)
if isinstance(arg, Iterable):
if sys.version >= '3' and isinstance(arg, Iterable):
return [asoft(a) for a in arg]
return asoft(arg)