ADDED: CLP(B): random_solution/2, uniformly picking a single solution.                This is not yet part of the public API, as we first                collect experience and feedback with the new interface.                The first argument is the seed, the second is a list of                CLP(B) variables. Please let us know if you have any input.                Usage example:                   ?- sat(X+Y), clpb:random_solution(13, [X,Y]).                   %@ X = 1,                   %@ Y = 0.
ADDED: CLP(B): random_solution/2, uniformly picking a single solution.
               This is not yet part of the public API, as we first
               collect experience and feedback with the new interface.
               The first argument is the seed, the second is a list of
               CLP(B) variables. Please let us know if you have any input.
               Usage example:
                  ?- sat(X+Y), clpb:random_solution(13, [X,Y]).
                  %@ X = 1,
                  %@ Y = 0.

koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel