translate python expression to z3 expression when calling z3 SMT solver

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Open xhajnal opened 4 years ago

ghost commented 4 years ago

@xhajnal Can I work on this?

xhajnal commented 4 years ago

Oh, yes, it is here: mpm/src/common/z3.py translate_to_z3_function (empty now)

ghost commented 4 years ago

@xhajnal Is there any platform to discuss more about this?

xhajnal commented 4 years ago

@udaykiranreddykondreddy yes, please write me an email which platform you prefer and I will send you my acc id