clpb.pl -- CLP(B): Constraint Logic Programming over Boolean Variables![]() | ||
---|---|---|
labeling/1 | Enumerate concrete solutions. | ![]() |
random_labeling/2 | Select a single random solution. | ![]() |
sat/1 | True iff Expr is a satisfiable Boolean expression. | ![]() |
sat_count/2 | Count the number of admissible assignments. | ![]() |
taut/2 | Tautology check. | ![]() |
weighted_maximum/3 | Enumerate weighted optima over admissible assignments. | ![]() |
clpfd.pl -- CLP(FD): Constraint Logic Programming over Finite Domains![]() |