
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<style data-externalstyle="true"><!--

p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {

margin-top:0in;

margin-right:0in;

margin-bottom:0in;

margin-left:.5in;

margin-bottom:.0001pt;

}


p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst, p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle, p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {

margin-top:0in;

margin-right:0in;

margin-bottom:0in;

margin-left:.5in;

margin-bottom:.0001pt;

line-height:115%;

}

--></style>


</head>


<body>


<div data-externalstyle="false" dir="ltr" style="font-family:Calibri,'Segoe UI',Meiryo,'Microsoft YaHei UI','Microsoft JhengHei UI','Malgun Gothic','Khmer UI','Nirmala UI',Tunga,'Lao UI',Ebrima,sans-serif;font-size:12pt;">


<div>Hi</div>


<div> </div>


<div>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.</div>


<div data-signatureblock="true">


<div>For example, complement of a=5 will be a!=5.</div>


<div>Could you tell me how I could do this.</div>


<div> </div>


<div>Thanks and Regards</div>


<div>Nakul</div>


<div> </div>


</div>


</div>


</body>


</html>