bounds.pl -- Simple integer solver that keeps track of upper and lower bounds |
|---|
| clp_events.pl |
|---|
| 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 |
|---|
| simplex.pl -- Solve linear programming problems |
|---|
