Constraint Solving and Planning with Picat

by Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman

Springer, 2015

Code Examples

All code files: codes.tar.gz | codes.zip

Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7