Interface IncrementalSatSolver