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

#4999

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-02-05 12:01:30 -08:00
parent 0a9ee6c640
commit a582014854
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -50,6 +50,7 @@ import sys
import io import io
import math import math
import copy import copy
import collections
Z3_DEBUG = __debug__ Z3_DEBUG = __debug__
@ -7499,7 +7500,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, collections.Iterable):
return [asoft(a) for a in arg] return [asoft(a) for a in arg]
return asoft(arg) return asoft(arg)