Comitted SAT solver.
Committed tree-printing.
Committed CSP.

Wolf contains a CSP solver and an example "Wolf, Goat, Cabbage,
Farmer"-type problem wherein one must create a plan for ferrying items
from one side to the other without leaving incompatible items together
unattended (i.e. without the farmer).
Committed evolutionary algorithm schema.