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