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
_______________________________________________ logic-programming mailing list [email protected] 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
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
