<!DOCTYPE html>
<html><head>
<meta charset="UTF-8">
</head><body><p class="default-style">Hello,</p><p class="default-style"><br><a href="http://www.picat-lang.org">Picat version 3.0</a> has been released.</p><p class="default-style">Version 3.0 incorporates numerous improvements on the SAT compiler. As demonstrated in the XCSP'19 and MiniZinc'20 competitions, Picat's SAT compiler, in combination with the cutting-edge SAT solvers, has become a competitive alternative, along with CP and MIP, for solving combinatorial optimization problems.</p><p class="default-style">Version 3.0 supports Horn clauses. Picat translates Horn clauses into pattern-matching rules based on user-supplied or automatically generated index declarations. The support of Horn clauses facilitates porting Prolog programs to Picat. See <a href="https://github.com/nfzhou/geoquery">here</a> for is a translation of the Geoquery Prolog program to Picat. You can find many examples on <a href="http://hakank.org/picat">Hakan Kjellerstrand's Picat page</a>.</p><p class="default-style">Version 3.0 incorporates many other enhancements and improvements. See the <a href="http://picat-lang.org/updates.txt">update log</a> for the details.</p><p class="default-style"><br></p><p class="default-style">Sincerely,<br>The Picat team<br></p></body></html>