mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

#4997

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-04 15:46:34 -08:00
parent cc39cf037e
commit dfb7c87448
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -7499,7 +7499,7 @@ class Optimize(Z3PPObject):
def asoft(a): def asoft(a):
v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id) v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id)
return OptimizeObjective(self, v, False) return OptimizeObjective(self, v, False)
if isinstance(arg, iterable): if isinstance(arg, Iterable):
return [asoft(a) for a in arg] return [asoft(a) for a in arg]
return asoft(arg) return asoft(arg)