[Om-announce] [logic-programming] Picat - Version 3.6 released

[Neng-Fa Zhou]

Picat version 3.6 (https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fpicat-lang.org%2F&data=05%7C02%7C%7Cf13b7cc65b594a96b31908dc138e19ad%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406748711618006%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C62000%7C%7C%7C&sdata=tYQb%2FQjvmBJmWjv690hXK3fN9B29nQnJXQ8DpkYd%2BbU%3D&reserved=0) has been released. This release
marks the 10th anniversary of the first official release of Picat. To quote
ChatGPT, "over the past 10 years, Picat has evolved into a powerful tool,
empowering developers to tackle a diverse range of challenges. Its support
for pattern matching enhances code readability, while built-in predicates
for constraint solving make it an invaluable asset for solving complex
combinatorial problems. Picat's unique combination of features has not only
made it a favorite among AI and optimization enthusiasts but has also
opened new avenues for exploration in the ever-evolving landscape of
programming paradigms."

This new version supports the "include" directive, which allows splitting a
large program file into multiple files, provides an interface to SCIP, an
efficient open-source solver for integer programs, and extends the cp, mip,
and smt modules with constraints originally implemented in the sat module.
Please see https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fpicat-lang.org%2Fupdates.txt&data=05%7C02%7C%7Cf13b7cc65b594a96b31908dc138e19ad%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406748711618006%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C62000%7C%7C%7C&sdata=Tc574lLJxmtU7zMw9CEy%2FCpvTyrI%2FFPCZrJBGyLXjeo%3D&reserved=0 for the detailed updates.

Cheers,
The Picat team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20240112/fa475601/attachment-0001.htm>
-------------- next part --------------
_______________________________________________
logic-programming mailing list
logic-programming at lists.picat-lang.org
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.picat-lang.org%2Fmailman%2Flistinfo%2Flogic-programming&data=05%7C02%7C%7Cf13b7cc65b594a96b31908dc138e19ad%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638406748711774217%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C62000%7C%7C%7C&sdata=CUXNUKOd%2FzxViHTMIT8Zu9NUOyRP317HURSSSuAPmMU%3D&reserved=0