SWI-Prolog -- sat/1

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)).

Source

[semidet]sat(+Expr)

True iff Expr is a satisfiable Boolean expression.