This chapter will be the last to be written.
Google or-toolsopen source library
4. Reification
5. Defining search primitives: the n-Queens Problem
