Manual v0 documenting QeCode v2

QeCode User Manual Manual v0.2.1 documenting QeCode v2.0.1 Marco Benedetti, Arnaud Lallouet, Jeremie Vautard University of Orleans - LIFO mailto: May 5, 2009

• narc const


• documenting qecode v2


• qecode provides


• create quantified


• ncustomer


• ncustomer customers


• has slightly


• player can


• int narc


• quantified constraint