Hi, I was wondering if someone could point me to a Haskell library for constraint solving over finite domains with integer arithmetic, i.e. something like FaCiLe ( http://www.recherche.enac.fr/log/facile/ ). A Haskell FF interface to such a library would probably be fine as well. It seems to me that such a library/wrapper should exist, but I couldn't find one. Thanks, Alexander