[Haskell-cafe] Constraing satisfaction

Neil Mitchell ndmitchell at gmail.com
Mon Jul 30 19:04:14 EDT 2007


> 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.



More information about the Haskell-Cafe mailing list