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