Download of RealVarExample.html (RealVarExample.html ( external link: SF.net): 6,011 bytes) will begin shortly. If not so, click link on the left.
choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP).