Grackle Capabilities

In this chapter, we describe some of the innovative features that Grackle provides in support of the analyis of programs, algorithms, and models. These capabilities are described in terms of the challenge problems they were designed to solve. The reader should regard the following sections as extended example applications of Grackle to real world symbolic analysis problems.

• Inverting the Discrete Cosine Transform
• Orchestrated Constraint Solving
• Finding Minimal Unsatisfiable Subsets
• Convex Optimization