[Haskell-cafe] FD Int Constraint Solving Library

Alexander Fuchs alexander.fuchs at uni-koblenz.de
Tue May 20 17:37:46 EDT 2008


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.


More information about the Haskell-Cafe mailing list