%************************************************
\chapter{Incremental Solving}\label{ch:incremental}
%************************************************
