25 Feb
2016
25 Feb
'16
6:17 p.m.
Hi
I am using Parma Polyhedra library in a Formal Verification project. I was unable to find a function that computes the complement of a logical equation. For example, complement of a=5 will be a!=5. Could you tell me how I could do this.
Thanks and Regards Nakul