Text this: Pseudo-boolean methods for bivalent programming /