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