Changed MiniSAT solver to SimpSolver. Added support for querying satisfying model.
Changed node store for Cuts to IndexedStore.