Getting Started

User's Guide (pdf | html)

Tutorial

Tutorial at AAAI'17

Video by Neng-Fa Zhou (FLOPS'16)

Video by Sergii Dymchenko (Lambda'16)

( Video-1 | Video-2 ) Videos by Claudio Cesar de Sa (in Portuguese)

Modules

Examples

99 Picat Problems

Picat Compared to Other Languages