CLP(B). Initial revision.

This library provides constraint logic programming over Boolean variables.