xcsp.org - - XCSP3

Keywords: csp.org, scala sat library

cril.univ-artois.fr - Centre de Recherche en Informatique de Lens

informatique.univ-artois.fr - Les formations informatiques à l'Université d'Artois