Implementations of clausal contraints. Implementation for both counter based and watched literals is provided. Specific implementation for binary and ternary clauses proposed by Lawrence Ryan are available as well.