On Thursday, March 9, 2017 at 6:49:28 AM UTC+1, William Byrd wrote:
>
> 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,
I beleive you. But my current implementation solving the dependency hell
problem does require to search all the solution space. It seems to me it
could
be more schemey to use microkanren instead of an adhoc sat solver which
will require its own optimisations.
Basically the dependency problem states:
- what are the dependencies
- what are the packages that can not be installed together
expressed in terms of CNF it leads to the following kind of problem
(and (or (not ff2) (not ff3))
(or (not ff2) gtk2)
(or (not ff3) gtk3))
This says that you can't install ff2 with ff3, that ff2 depends on gtk2 and
ff3 on gtk3.
I don't only need one solution to the above problem. After, the search, I
need to score
each results based on how much change it will require on the system (diff).
I don't know
how to solve that part in minikanren too. Maybe using probabilistic stuff?
> 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] <javascript:>> 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] <javascript:>.
> > To post to this group, send email to [email protected]
> <javascript:>.
> > 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.
