[Haskell-cafe] Constraing satisfaction

[Neil Mitchell]

Hi

> I have a set of problems in the field of constaint satisfaction and
> I'm looking for a tool for this. In simplest form, these task are like
> Sudoku puzzle solver, school schedule creator, etc.
> Prolog language comes to mind at first.

Have you seen Eclipse? http://eclipse.crosscoreop.com/ - it looks
perfect for the problems you are listing.

You could do the same in a domain specific language in Haskell, but
I'm not sure anyone has written one, so I'd recommend Eclipse.

Thanks

Neil