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.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in