We are pleased to announce the publication of our book “Constraint Solving and Planning with Picat” by Springer.
http://www.springer.com/us/book/9783319258812
This book presents Picat as a modeling and solving language for two important classes of combinatorial problems: constraint
Picat version 2.0 has been released. This version incorporates improvements and additions that further strengthen Picat as an AI programming language. The planner module has been extended to enable the encoding of domain-specific heuristics and sequencing rules. In addition to specifying
Hi,This email is to share with you some of the exciting news about Picat (picat-lang.org), a new generational programming language for AI applications and beyond.There have been two major releases in the past year. Recent developments have significantly strengthened Picat's modeling and solving
I am pleased to announce the release of Picat version 2.5.The new version includes the SAT-based constraint solver that won one gold medal and one bronze medal in the XCSP competition, and one silver medal and one bronze medal in the MiniZinc Challenge in 2018. The competition results show that
Hello,Picat version 3.0 has been released.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
