ikos icon indicating copy to clipboard operation
ikos copied to clipboard
verified publisher icon NASA-SW-VnV

Implement backward operators

Open arthaud opened this issue 6 years ago • 0 comments

We could implement backward operators to improve the precision on guards.

This could help with #97 and #134.

arthaud avatar Jul 11 '19 00:07 arthaud