random_labeling/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpb): CLP(B): Constraint Logic Programming over Boolean Variables
      - CLP(B) predicate index
        
        sat/1
        
        taut/2
        
        labeling/1
        
        sat_count/2
        
        weighted_maximum/3
        
        random_labeling/2
- Packages

Availability::- use_module(library(clpb)).

[det]random_labeling(+Seed, +Vs)

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.