miniKanren can be used to solve SAT problems, but I think you'd be much better off with a real SAT solver. miniKanren is going to do something close to exhaustive search, whereas a modern SAT solver has dozens of heuristics (at least) for solving SAT problems.
I think what would be quite useful would be for miniKanren to have a way to call out to an external SAT solver, and other types of solvers (such as finite domain solvers). Cheers, --Will On Fri, Mar 3, 2017 at 6:03 PM, Amirouche Boubekki <[email protected]> wrote: > I am trying to solve the package manager VERSION problem as described in > [0]. > > I know some people use 3-sat solver. Can use microkanren to solve that > problem somehow? > > [0] https://research.swtch.com/version-sat > > -- > 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 https://groups.google.com/group/minikanren. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
