Chapter 2 Common Solver Interface
Introduction
Common constraints
Using the constraints
The Solvers