Somewhat messy translation of IC3 to C++11, not yet including the down and up algorithms.  A sample problem is hard coded.