Did you know ... Search Documentation:
Predicate random_labeling/2
 random_labeling(+Seed, +Vs) is det
Select a single random solution. An admissible assignment of truth values to the Boolean variables in Vs is chosen in such a way that each admissible assignment is equally likely. Seed is an integer, used as the initial seed for the random number generator.
Tags are associated to your profile if you are logged in
Tags: