[erlang-questions] Constraint satisfaction problems

[Jesper Eskilson]

On Fri, Oct 31, 2008 at 8:55 AM, Imre Palik <imre@REDACTED> wrote:
> During playing with project Euler I solved a few constraint satisfaction problems with erlang.  But whenever I code a solution, I have a really awkward feeling, that it should be possible to do better, but I don't know how.
>
> I tend to code a backtracking search with constraint propagation before every step.  I model the constraint graph with digraph, but then the non-functional nature of the digraph package makes backtracking really awkward.
>
> Is there any better way to solve constraint satisfaction problems?
> What is the rationale behind those pesky side effects in digraph?

If you want to solve Project Euler problems using constraints, I'd
recommend using Prolog instead. GNU Prolog worked very nice for the
problems I tried.

Are there any good constraint libraries for Erlang?

-- 
/Jesper