clp

Prolog files

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