Sounds like an elegant idea. I'd like to see how it comes out.
As I understand what you're saying, each cell in the grid would have a unique ID, e.g., 1 .. 81. Each number, row, column, and 3x3 subgrid would be a set of these with the constraints as you indicate. Is that right?
-- Russ
On 11/12/05, daniel mahler <[EMAIL PROTECTED]> wrote:
When I was thinking of writing a sudoku solver,
I thought of treating the numbers as FS variables
instead of treating the positions as FD variables
Rows, columns and blocks are (fixed) sets of positions as well.
Then you just need to say the numbers are all mutually disjoint,
have cardinality 9, and have a singleton intersection with each
row, column and block.
I though this would be nicer to code than the FD approach.
Any thoughts on the relative merits of the approaches?
Daniel
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
