ravimad/Orb2015

Can monotonicity property be automated?

Opened this issue · 0 comments

Sumith1896 commented

Here, the reference is to the Monotonicity of properties w.r.t state, and their automatic instantiation.
We should automate it if it is possible to.