[eclipse-users] Dual Enconding CSP

From: Christian Riquelme <ch.riquelme_at_...6...>
Date: Wed, 24 Oct 2007 18:32:01 -0300
Hi, sorry my bad english, i'm trying to code a CSP with dual encoding, but i
dont know how define the restriction and variables in this case.

This is the problem


i think for variables..


restriction ????

thanks at all.
Received on Wed Oct 24 2007 - 22:32:08 CEST

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST