When I was thinking of writing a sudoku solver,
I thought of treating the numbers as FS vaiables
instead ofnstead 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
> 
> 
>       
>               
> __________________________________ 
> Yahoo! Mail - PC Magazine Editors' Choice 2005 
> http://mail.yahoo.com
> 




        
                
__________________________________ 
Yahoo! Mail - PC Magazine Editors' Choice 2005 
http://mail.yahoo.com

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to