FD Int Constraint Solving Library

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

FD Int Constraint Solving Library

Alexander Fuchs-2
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
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe