

<html>

<head>

<meta name="generator" content="Windows Mail 17.5.9600.20315">

<style type="text/css"><!--html { font-family: "Color Emoji", "Calibri", "Segoe UI", "Meiryo", "Microsoft YaHei UI", "Microsoft JhengHei UI", "Malgun Gothic", "sans-serif"; }--></style><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.MsoNormal, li.MsoNormal, div.MsoNormal {

margin:0in;

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 dir="ltr">

<div data-externalstyle="false" dir="ltr" style="font-family: 'Calibri', 'Segoe UI', 'Meiryo', 'Microsoft YaHei UI', 'Microsoft JhengHei UI', 'Malgun Gothic', 'sans-serif';font-size:12pt;"><div dir=""><div>> What is the status of remote_z3?<br></div><div><br></div><div>You’re right. It was necessary years ago when only a Windows version of Z3 was available. Fortunately, the situation has changed meanwhile.</div><div><br></div><div>Unless Sledgehammer requires the remote_z3 service, any references to this obsolete service can now be removed from the code. I’ll take care of this.</div><div><br></div><div>Cheers,</div><div>Sascha<br></div></div></div>

</body>

</html>