Boolean Constraints

Used to model circuits, register allocation problems, etc.

An exclusive or gate

Boolean constraint describing the xor circuit

Previous slide

Next slide

Back to first slide

View graphic version