RE: Simplifying the SMT Protocol
The golden rule of software development. Split a problem into smaller chunks.
RE: Simplifying the SMT Protocol