FlatZinc 0.9 to 1.0 Transition Guide Julien Fischer 1 Introduction This document is a guide to the changes introduced in version 1.0 of ... more>>