On Thu, Mar 6, 2014 at 12:10 PM, Mauro Lopes <[email protected]> wrote:
> (1 0 0 1) and (0 1 0 1) are wrong for me. > But which portion of your program should disallow this? If I can identify that it will be much simpler for me to determine the flaw in core.logic's FD functionality. I've encountered bugs like this in the past - they almost always boil down to some subtle problem around logic var aliasing. We have a bunch of tests to check for this but it looks like you've come across a case I've missed. Thanks, David > The idea is that, say, (f 8 [2 3]) should give me all ways of putting two > sequences of ones (with sizes 2 and 3, in this order), separated by some > zeros, in an 8-length row. > > It is like solving a one-row nonogram. Then I just use it for all rows and > columns to make a full nonogram solver: > > http://github.com/maurolopes/nonogramsolver > > As I said, my program seems to be working now. I'm only giving you context > so it is easier to understand my code and debug core.logic. > -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/groups/opt_out.
