Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation