Version 3.6#8 released (5/27/2024) Picat won a gold medal in XCSP'23 Picat won two silver medals in MiniZinc Challenge 2023 Picat team won the 2021 LP/CP programming contest News group Users' Manual (pdf | html) Tutorial at CP'19 Tutorial at AAAI'17 Editors for Picat: Emacs, VSC, and Geany WebIDE for Picat Picat team won Grand Prize at NYC Media Lab Summit Hakan's Picat Page 99 Problems GCJ in Pic