Mathematica 7 introduces major new capabilities in Boolean computation, for the first time bringing large-scale Boolean computation into mainstream computing. Building on recent algorithmic advances, Mathematica 7 provides comprehensive capabilities for handling Boolean expressions with hundreds to hundreds of thousands of variables—all fully integrated with Mathematica's other symbolic capabilities—making possible new approaches to large-scale design, verification and optimization of discrete and logical systems in a wide variety of fields.